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

Multiway match typechecking and translation for pattern guards #2

Merged
merged 15 commits into from
Aug 2, 2023
Merged

Multiway match typechecking and translation for pattern guards #2

merged 15 commits into from
Aug 2, 2023

Commits on Aug 2, 2023

  1. multiway typechecking and translation

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    5bc3a41 View commit details
    Browse the repository at this point in the history

  2. update jane test output

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    23c4cd9 View commit details
    Browse the repository at this point in the history

  3. self-review: format and style in translcore

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    be57958 View commit details
    Browse the repository at this point in the history

  4. more translcore/typedtree cleanup

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    294a52a View commit details
    Browse the repository at this point in the history

  5. expose value is_guarded_rhs

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    1bb1550 View commit details
    Browse the repository at this point in the history

  6. fix typedtree printer

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    f40e26c View commit details
    Browse the repository at this point in the history

  7. make discussed changes to ocamldoc

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    ce7cae7 View commit details
    Browse the repository at this point in the history

  8. format: remove unnecessary parens in pattern 

    Co-authored-by: Nick Roberts <[email protected]>
    @rajgodse @ncik-roberts
    rajgodse and ncik-roberts committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    098cbbd View commit details
    Browse the repository at this point in the history

  9. improve parmatch variable naming

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    dd5b19d View commit details
    Browse the repository at this point in the history

  10. explain [exp_attributes] and [exp_extra] weirdness

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    e1d22b8 View commit details
    Browse the repository at this point in the history

  11. improve translcore [event_function*] naming

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    94ae116 View commit details
    Browse the repository at this point in the history

  12. inlined transl_body in transl_rhs

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    5e0dd36 View commit details
    Browse the repository at this point in the history

  13. rename pats_exp... to use "rhs" naming

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    271d61d View commit details
    Browse the repository at this point in the history

  14. added test for guarded value/exception or-patterns

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    e262902 View commit details
    Browse the repository at this point in the history

  15. address ocamldoc CRs

    @rajgodse
    rajgodse committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    3f8864d View commit details
    Browse the repository at this point in the history