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

Pun labelled arguments with type constraint in function applications #10434

Merged
merged 8 commits into from
Jun 23, 2021
Merged

Pun labelled arguments with type constraint in function applications #10434

merged 8 commits into from
Jun 23, 2021

Commits on Jun 21, 2021

  1. Accept labelled argument punning with type constraint in pexp_apply 

    For example, function application of the form "foo ~(x:int)"
instead of the explicit "foo ~x:(x:int)".
    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    54722cd View commit details
    Browse the repository at this point in the history

  2. Promote menhir

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    4827484 View commit details
    Browse the repository at this point in the history

  3. Add tests

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    efc30c2 View commit details
    Browse the repository at this point in the history

  4. Add an entry to Changes

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    050c60d View commit details
    Browse the repository at this point in the history

  5. Fix the location of the constraint expression

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    36d04eb View commit details
    Browse the repository at this point in the history

  6. Promote menhir

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    c8bbf33 View commit details
    Browse the repository at this point in the history

  7. Promote test reference

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    503b257 View commit details
    Browse the repository at this point in the history

  8. Update changes

    @gretay-js
    gretay-js committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    d182ea1 View commit details
    Browse the repository at this point in the history