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

Many updates on [%%ocanren_inject...] #169

Merged
merged 13 commits into from
Jul 16, 2023
Merged

Many updates on [%%ocanren_inject...] #169

merged 13 commits into from
Jul 16, 2023

Commits on Jul 13, 2023

  1. Experimental rewriter [%lident ...] 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    0871780 View commit details
    Browse the repository at this point in the history

  2. Modernize rewriter to support mutual recursion 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    07fe017 View commit details
    Browse the repository at this point in the history

  3. Promote tests 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    39bbea6 View commit details
    Browse the repository at this point in the history

  4. Update ocamlformat file 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    f86b569 View commit details
    Browse the repository at this point in the history

  5. PPX_distrib: Better support of abbreviations 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    c74f768 View commit details
    Browse the repository at this point in the history

  6. PPX distrib tests 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    66fb525 View commit details
    Browse the repository at this point in the history

  7. PPX distrib: update samples 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    70b77ec View commit details
    Browse the repository at this point in the history

  8. PPX distrib: generate reify for recursive types too 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    d94f71c View commit details
    Browse the repository at this point in the history

  9. Promote tests 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    9da3a68 View commit details
    Browse the repository at this point in the history

  10. Updates for GT changes about mutual recursion 

    Now we don't need to erase [@@deriving gt] in expansion
of [%%ocanren_inject .... ]

Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    40b2719 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. Garbage collection after updating GT 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    9251a3f View commit details
    Browse the repository at this point in the history

  2. Update changes 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    a032cbb View commit details
    Browse the repository at this point in the history

  3. Use ocamlformat >= 0.25.1 

    Signed-off-by: Kakadu <Kakadu@pm.me>
    @Kakadu
    Kakadu committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    19ed419 View commit details
    Browse the repository at this point in the history