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

parser.mly: do not use ghost locations for type constraints #10555

Merged
merged 16 commits into from
Aug 5, 2021
Merged

parser.mly: do not use ghost locations for type constraints #10555

merged 16 commits into from
Aug 5, 2021

Commits on Aug 5, 2021

  1. parser.mly: do not use ghost locations for type constraints

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    6968510 View commit details
    Browse the repository at this point in the history

  2. Regenerate parser

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    20368da View commit details
    Browse the repository at this point in the history

  3. Update tests

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    790ca0f View commit details
    Browse the repository at this point in the history

  4. Changes

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    8034d3e View commit details
    Browse the repository at this point in the history

  5. parser.mly: better locs for type constr in record expr/patterns

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    153c5a5 View commit details
    Browse the repository at this point in the history

  6. Regenerate parser

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    4adcc03 View commit details
    Browse the repository at this point in the history

  7. Update tests

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    bc7af6a View commit details
    Browse the repository at this point in the history

  8. Changes

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    8dd4d2f View commit details
    Browse the repository at this point in the history

  9. parser.mly: give correct location to punned label in record expr

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    c4c0715 View commit details
    Browse the repository at this point in the history

  10. parser.mly: parser.mly: mark punned label as ghost in object clone expr

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    06a62f8 View commit details
    Browse the repository at this point in the history

  11. Regenerate parser

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    319b938 View commit details
    Browse the repository at this point in the history

  12. Add test

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    dab5472 View commit details
    Browse the repository at this point in the history

  13. Accept tests

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    cecc665 View commit details
    Browse the repository at this point in the history

  14. parser.mly: mark punned labels locs as ghost

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    b9457ca View commit details
    Browse the repository at this point in the history

  15. Regenerate parser

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    79170cd View commit details
    Browse the repository at this point in the history

  16. Accept tests

    @nojb
    nojb committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    e191545 View commit details
    Browse the repository at this point in the history