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

Merged
merged 18 commits into from
Dec 1, 2024
Merged

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

merged 18 commits into from
Dec 1, 2024
+5,915 −5,496

Commits on Dec 1, 2024

  1. MVP lambda support in parser and expression builder

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    d39bbbf 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    9447812 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    889d1f9 View commit details
    Browse the repository at this point in the history

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

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    48129ae 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    9646e96 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    54f85e8 View commit details
    Browse the repository at this point in the history

  7. undo underscore support

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    f5a4baa 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    239e6e1 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    744b79d View commit details
    Browse the repository at this point in the history

  10. fix lint

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    13dd2e0 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    386486c 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    9bbc396 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    5c0e9f0 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 Dec 1, 2024
    Configuration menu
    Copy the full SHA
    2fd0d13 View commit details
    Browse the repository at this point in the history

  15. fix move-model test output that slightly changes

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    6bd922b View commit details
    Browse the repository at this point in the history

  16. add a test for not dropping an unused function value

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    f9c8c47 View commit details
    Browse the repository at this point in the history

  17. address a final few comments, mostly code cleanup in lambda_lifter

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    4cf9a1a View commit details
    Browse the repository at this point in the history

  18. fix clippy warnings

    @brmataptos
    brmataptos committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    3fc1956 View commit details
    Browse the repository at this point in the history