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

[move-compiler-v2] add parser code for lambda types #14792

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

[move-compiler-v2] add parser code for lambda types #14792

wants to merge 15 commits into from

Commits on Nov 27, 2024

  1. MVP lambda support in parser and expression builder

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    ea38cc7 View commit details
    Browse the repository at this point in the history

  2. fix issue with expected_type and curry construction with local variab… 

    …le of function type
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    90d3548 View commit details
    Browse the repository at this point in the history

  3. undo some debugging tweaks to type printing that increased diff size … 

    …unnecessarily; avoid generating errors/warnings about default Loc
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    9ce0775 View commit details
    Browse the repository at this point in the history

  4. run rust_lint.sh, move_pr -2 -i

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    2446233 View commit details
    Browse the repository at this point in the history

  5. inverted mask sense, changed Curry expr to Operation::Bind, MoveFunct… 

    …ionExpr to Value::Function, got things mostly back in shape
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    2f59a4c View commit details
    Browse the repository at this point in the history

  6. fix a merge conflict that duplicated code, and check bound variables … 

    …for abilities in lambda_lifter.rs
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    c6e83a5 View commit details
    Browse the repository at this point in the history

  7. undo underscore support

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    3c67312 View commit details
    Browse the repository at this point in the history

  8. handle more function values in `LambdaLifter::try_to_reduce_lambda_to… 

    …_curry`
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    6dc7765 View commit details
    Browse the repository at this point in the history

  9. add AbilitySet::MAXIMAL_FUNCTIONS and use it in some function type … 

    …constraints to avoid reducing set of function type abilities when unifying types
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    5af3659 View commit details
    Browse the repository at this point in the history

  10. fix lint

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    ae478f0 View commit details
    Browse the repository at this point in the history

  11. rename Bind to EarlyBind and remove mask in favor of just being able … 

    …to bind leading arguments
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    108536c View commit details
    Browse the repository at this point in the history

  12. address rest of comments on PR as of 11/26

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    982d07c View commit details
    Browse the repository at this point in the history

  13. address a few remaining comments from Vineeth that I missed before

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    44baaf0 View commit details
    Browse the repository at this point in the history

  14. suppress drop ability in function types, since it's common; fix par… 

    …ser location on `||`
    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    be0e6e8 View commit details
    Browse the repository at this point in the history

  15. fix move-model test output that slightly changes

    @brmataptos
    brmataptos committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    bab1e7d View commit details
    Browse the repository at this point in the history