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

chore(experimental): Elaborate impls & non-trait impls #5007

Merged
merged 29 commits into from
May 21, 2024
Merged

chore(experimental): Elaborate impls & non-trait impls #5007

merged 29 commits into from
May 21, 2024

Commits on May 2, 2024

  1. Add elaborator

    @jfecher
    jfecher committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d0afc12 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Merge branch 'master' into jf/elaborator

    @jfecher
    jfecher committed May 3, 2024
    Configuration menu
    Copy the full SHA
    1c433ec View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. More expressions

    @jfecher
    jfecher committed May 6, 2024
    Configuration menu
    Copy the full SHA
    225303f View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Finish each expression kind

    @jfecher
    jfecher committed May 7, 2024
    Configuration menu
    Copy the full SHA
    29e67a1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jf/elaborator

    @jfecher
    jfecher committed May 7, 2024
    Configuration menu
    Copy the full SHA
    0177c12 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Add compiler flag

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    6b30028 View commit details
    Browse the repository at this point in the history

  2. Move expressions into their own file

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    7550fb8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'jf/elaborator' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    39d23dc View commit details
    Browse the repository at this point in the history

  4. Connect elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    2e77d87 View commit details
    Browse the repository at this point in the history

  5. Code review

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    e542d32 View commit details
    Browse the repository at this point in the history

  6. Finish removing Scope

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    fd287df View commit details
    Browse the repository at this point in the history

  7. Merge branch 'jf/elaborator' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    73dc473 View commit details
    Browse the repository at this point in the history

  8. Finish functions

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9614b87 View commit details
    Browse the repository at this point in the history

  9. Add should_panic

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    b44c98a View commit details
    Browse the repository at this point in the history

  10. clippy

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9579646 View commit details
    Browse the repository at this point in the history

  11. Fix test

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    e4d5f61 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. Fix test

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    556e6ef View commit details
    Browse the repository at this point in the history

  2. Elaborate impls

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    7487b03 View commit details
    Browse the repository at this point in the history

  3. Fix yet another missed line

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    82d5871 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'jf/integrate-elaborator' into jf/elaborator-impls

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    a3872e0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    3fb05dc View commit details
    Browse the repository at this point in the history

  6. Merge branch 'jf/integrate-elaborator' into jf/elaborator-impls

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    4fa4677 View commit details
    Browse the repository at this point in the history

  7. Resolve weird git merge

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    e9e69f4 View commit details
    Browse the repository at this point in the history

  8. Wrong arg order

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    d7d91ae View commit details
    Browse the repository at this point in the history

  9. Merge branch 'jf/integrate-elaborator' into jf/elaborator-impls

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    e9afa1a View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into jf/elaborator-impls

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    13564f8 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Code review

    @jfecher
    jfecher committed May 10, 2024
    Configuration menu
    Copy the full SHA
    75c6451 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Merge branch 'master' into jf/elaborator-impls

    @jfecher
    jfecher authored May 21, 2024
    Configuration menu
    Copy the full SHA
    d28b1a9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jf/elaborator-impls

    @jfecher
    jfecher authored May 21, 2024
    Configuration menu
    Copy the full SHA
    89be95a View commit details
    Browse the repository at this point in the history