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

Allow to name existentials in pattern-matching #9584

Merged
merged 24 commits into from
Feb 4, 2021
Merged

Allow to name existentials in pattern-matching #9584

merged 24 commits into from
Feb 4, 2021

Commits on Feb 3, 2021

  1. allow to name existentials in pattern-matching

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    41e69fe View commit details
    Browse the repository at this point in the history

  2. add examples

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    fde2956 View commit details
    Browse the repository at this point in the history

  3. instance_constructor returns existentials

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    208f38e View commit details
    Browse the repository at this point in the history

  4. unify return type first

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    bbf1ebc View commit details
    Browse the repository at this point in the history

  5. add Changes log

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    0e1340f View commit details
    Browse the repository at this point in the history

  6. fix conflicts after rebase

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    5a5e6d2 View commit details
    Browse the repository at this point in the history

  7. change parsetree as suggested by @gscherer and add information to typ… 

    …edtree as suggested by @lpw25
    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    1c04bd2 View commit details
    Browse the repository at this point in the history

  8. use Env.enter_type rather than Env.add_local_type for new types

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    5187abd View commit details
    Browse the repository at this point in the history

  9. update change log

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    4165e9d View commit details
    Browse the repository at this point in the history

  10. update test output for parsing/extensions.ml

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    6b5b8db View commit details
    Browse the repository at this point in the history

  11. fix last comments, and add ~manifest_and_scope argument to new_local_… 

    …type
    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    b093abe View commit details
    Browse the repository at this point in the history

  12. forgotten None

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    9b5c1e1 View commit details
    Browse the repository at this point in the history

  13. check for annotation on constant constructor

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    fffac16 View commit details
    Browse the repository at this point in the history

  14. change syntax

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    518aa27 View commit details
    Browse the repository at this point in the history

  15. test

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    8e5be26 View commit details
    Browse the repository at this point in the history

  16. put variables befor pattern in parsetree

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    31085fe View commit details
    Browse the repository at this point in the history

  17. Integrate PR discussion: 

    * use Ppat_constraint rather than put a type in Ppat_construct
* allow annotations on non-GADT multiary constructors
    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    6ec8056 View commit details
    Browse the repository at this point in the history

  18. fix detection of inlined record escape

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    828a1b0 View commit details
    Browse the repository at this point in the history

  19. fix manual

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    2624510 View commit details
    Browse the repository at this point in the history

  20. fix mysterious problem by using Tpat_constraint where possible

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    61ea150 View commit details
    Browse the repository at this point in the history

  21. test

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    b9aadff View commit details
    Browse the repository at this point in the history

  22. add example of multiary annotation

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    e1058f2 View commit details
    Browse the repository at this point in the history

  23. typo

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    d2e50fa View commit details
    Browse the repository at this point in the history

  24. fix Tast_mapper and Tast_iterator

    @garrigue
    garrigue committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    aa12a07 View commit details
    Browse the repository at this point in the history