Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add proposal for partial type inference #7582

Open
wants to merge 30 commits into
base: main
Choose a base branch
from
Open

Add proposal for partial type inference #7582

wants to merge 30 commits into from

Commits on Oct 7, 2023

  1. Partial type inference

    @TomatorCZ
    TomatorCZ committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    df50582 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Update partial-type-inference.md

    @jcouv
    jcouv authored Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6e3c0cb View commit details
    Browse the repository at this point in the history

  2. Remove header template

    @jcouv
    jcouv authored Nov 2, 2023
    Configuration menu
    Copy the full SHA
    afc1eca View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. fix typo 

    Co-authored-by: Julien Couvreur <[email protected]>
    @TomatorCZ @jcouv
    TomatorCZ and jcouv authored Nov 4, 2023
    Configuration menu
    Copy the full SHA
    44bf3a2 View commit details
    Browse the repository at this point in the history

  2. fix typo 

    Co-authored-by: Jared Parsons <[email protected]>
    @TomatorCZ @jaredpar
    TomatorCZ and jaredpar authored Nov 4, 2023
    Configuration menu
    Copy the full SHA
    54ee1c4 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2023

  1. change wording 

    Co-authored-by: Julien Couvreur <[email protected]>
    @TomatorCZ @jcouv
    TomatorCZ and jcouv authored Nov 5, 2023
    Configuration menu
    Copy the full SHA
    469a112 View commit details
    Browse the repository at this point in the history

  2. change wording and fix typo

    @TomatorCZ
    TomatorCZ committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    33b71f0 View commit details
    Browse the repository at this point in the history

  3. delete unnecessary part of example

    @TomatorCZ
    TomatorCZ committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    5e59e96 View commit details
    Browse the repository at this point in the history

  4. change formulation of type_name meaning

    @TomatorCZ
    TomatorCZ committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    b6081e3 View commit details
    Browse the repository at this point in the history

  5. change grammar of type argument section

    @TomatorCZ
    TomatorCZ committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    6039b9f View commit details
    Browse the repository at this point in the history

  6. make type inference using initializers and types with floating arity … 

    …during type inference as alternatives
    @TomatorCZ
    TomatorCZ committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    ea87f2f View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. typo 

    Co-authored-by: Rikki Gibson <[email protected]>
    @TomatorCZ @RikkiGibson
    TomatorCZ and RikkiGibson authored Feb 3, 2024
    Configuration menu
    Copy the full SHA
    8c7eadb View commit details
    Browse the repository at this point in the history

  2. typo 

    Co-authored-by: Rikki Gibson <[email protected]>
    @TomatorCZ @RikkiGibson
    TomatorCZ and RikkiGibson authored Feb 3, 2024
    Configuration menu
    Copy the full SHA
    ebe9eaf View commit details
    Browse the repository at this point in the history

  3. type 

    Co-authored-by: Rikki Gibson <[email protected]>
    @TomatorCZ @RikkiGibson
    TomatorCZ and RikkiGibson authored Feb 3, 2024
    Configuration menu
    Copy the full SHA
    47524ae View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dotnet:main' into main

    @TomatorCZ
    TomatorCZ authored Feb 3, 2024
    Configuration menu
    Copy the full SHA
    8db3728 View commit details
    Browse the repository at this point in the history

  5. typo

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    9daa672 View commit details
    Browse the repository at this point in the history

  6. shrink comments in code examples

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    e973d80 View commit details
    Browse the repository at this point in the history

  7. add possible resolutions of _ used as a typename

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    4485ab9 View commit details
    Browse the repository at this point in the history

  8. typo

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    524a491 View commit details
    Browse the repository at this point in the history

  9. make changes regarding type inference more clear

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    9dfa24f View commit details
    Browse the repository at this point in the history

  10. remove block quotes

    @TomatorCZ
    TomatorCZ committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    7aa277e View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. fix code example

    @TomatorCZ
    TomatorCZ committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    e9b827b View commit details
    Browse the repository at this point in the history

  2. Update proposals/partial-type-inference.md 

    Co-authored-by: Rikki Gibson <[email protected]>
    @TomatorCZ @RikkiGibson
    TomatorCZ and RikkiGibson authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    87cc926 View commit details
    Browse the repository at this point in the history

  3. move nullability to type arguments section

    @TomatorCZ
    TomatorCZ committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    98d835e View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Add proposal containing just 

    1. top level _ in method inv and creating object expr
2. nested _ in method inv and creating object expr
    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    be609af View commit details
    Browse the repository at this point in the history

  2. typo

    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    2537f53 View commit details
    Browse the repository at this point in the history

  3. typo

    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    254b137 View commit details
    Browse the repository at this point in the history

  4. adjust object creation expression binding

    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    4f01563 View commit details
    Browse the repository at this point in the history

  5. typo

    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    fe31185 View commit details
    Browse the repository at this point in the history

  6. remove outdated explanation

    Tomáš Husák authored and Tomáš Husák committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    e20b17a View commit details
    Browse the repository at this point in the history