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

Deactivate gramlib (camlp5) automatic right associativity fallback #12744

Closed
wants to merge 8 commits into from
Closed

Deactivate gramlib (camlp5) automatic right associativity fallback #12744

wants to merge 8 commits into from

Commits on Oct 4, 2020

  1. Adding support for associativity in ARGUMENT EXTEND.

    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    3ac96de View commit details
    Browse the repository at this point in the history

  2. Making explicit that some GRAMMAR EXTEND entries are intended to be R… 

    …IGHTA.
    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    a215da8 View commit details
    Browse the repository at this point in the history

  3. Making explicit the associativity of some recursive ARGUMENT EXTEND.

    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    e50eef3 View commit details
    Browse the repository at this point in the history

  4. Adding support for recursive blocs of ARGUMENT EXTEND. 

    TO DO:
- adapt to VERNAC ARGUMENT EXTEND
- organize the code around nicer invariants
    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    91487cb View commit details
    Browse the repository at this point in the history

  5. Getting rid of ambiguity in rewstrategy grammar, using a ARGUMENT EXT… 

    …END bloc.
    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    7d2f2c7 View commit details
    Browse the repository at this point in the history

  6. Getting rid of an "optimization" of camlp5 which does not respect non… 

    …-rightA.
    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    423877e View commit details
    Browse the repository at this point in the history

  7. Make explicitly right-associative the notations that expect it.

    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    ad531e6 View commit details
    Browse the repository at this point in the history

  8. Allow ARGUMENT EXTEND grammar to be printed with Print Grammar.

    @herbelin
    herbelin committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    4e338a5 View commit details
    Browse the repository at this point in the history