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

Make Tsubst directly retain two arguments, instead of nesting a Ttuple #10174

Merged
merged 17 commits into from
Feb 1, 2021
Merged

Make Tsubst directly retain two arguments, instead of nesting a Ttuple #10174

merged 17 commits into from
Feb 1, 2021

Commits on Feb 1, 2021

  1. Add an optional argument to Tsubst; avoid abusive uses of Ttuple to l… 

    …et Tsubst retain two arguments.
    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    458882b View commit details
    Browse the repository at this point in the history

  2. comment on the arguments of Tsubst; adapt printtyp to the new Tsubst

    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    d5c2c03 View commit details
    Browse the repository at this point in the history

  3. fix fold_type_expr to handle the second component of Tsubst

    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    2f8c0a8 View commit details
    Browse the repository at this point in the history

  4. properly ignore Tsubst cases in mark_loops and tree_of_typexp

    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    02bb2da View commit details
    Browse the repository at this point in the history

  5. partially revert the previous commit because filter_params is using T… 

    …subst to print constrained type parameters; add a test case to check its output
    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    2e1e69d View commit details
    Browse the repository at this point in the history

  6. assert false when calling fold_type_expr on Tsubst

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

  7. deref Tlink in fold_type_expr

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

  8. fix the handling of Tsubst and comments

    @t6s @garrigue
    t6s authored and garrigue committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    1b86a27 View commit details
    Browse the repository at this point in the history

  9. remove Btype.norm_univar

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

  10. assert false for Tsubst outside of copying functions

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

  11. one missing assertion

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

  12. rather group

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

  13. Tsubst in ocamldoc

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

  14. add change log and assertion that Tsubst doesn't occur in copy_sep

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

  15. update comment

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

  16. depend

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

  17. check-typo

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