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

Module type substitutions #10133

Merged
merged 21 commits into from
Feb 25, 2021
Merged

Module type substitutions #10133

merged 21 commits into from
Feb 25, 2021

Commits on Feb 17, 2021

  1. Module type substitutions: core

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    c61984d View commit details
    Browse the repository at this point in the history

  2. module type substitutions: syntax

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    fad2c7d View commit details
    Browse the repository at this point in the history

  3. module type substitutions: documentation

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    acc1360 View commit details
    Browse the repository at this point in the history

  4. Update Changes

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    d288b25 View commit details
    Browse the repository at this point in the history

  5. Subst: add_modtype_path function 

    Deep destructive substitution might require to substitute whole module type
paths rather than just identifiers.
    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    a4999fc View commit details
    Browse the repository at this point in the history

  6. Fix handling of deeply nested substitution

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    2c3bf12 View commit details
    Browse the repository at this point in the history

  7. module type S := ...: core

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    4b3fb5d View commit details
    Browse the repository at this point in the history

  8. add syntax for local module type substitutions

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    018c8f3 View commit details
    Browse the repository at this point in the history

  9. with module type = sig end 

    Allow non-path right-hand side for module type with constraints.
    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    7157214 View commit details
    Browse the repository at this point in the history

  10. testsuite: module type substitutions

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    342737f View commit details
    Browse the repository at this point in the history

  11. manual: module type substitutions

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

  12. update changes

    @Octachron
    Octachron committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    c980fd2 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2021

  1. review: rename Pwith_module_type* to Pwith_modtype*

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    cc63969 View commit details
    Browse the repository at this point in the history

  2. review: printing parsetree

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    f442624 View commit details
    Browse the repository at this point in the history

  3. review: error message

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    dbcea3c View commit details
    Browse the repository at this point in the history

  4. review: iterator extensions

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    9bac0f1 View commit details
    Browse the repository at this point in the history

  5. review: begin...end for a then

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    cfce291 View commit details
    Browse the repository at this point in the history

  6. review: add a parsetree invariant 

    module type substitution (module type T := MT) must have
a right hand side.
    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    d6c0c15 View commit details
    Browse the repository at this point in the history

  7. review: lift check_modtype calls

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    97e3964 View commit details
    Browse the repository at this point in the history

  8. review: merge_constraints remove recursive knot

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

  9. update changes

    @Octachron
    Octachron committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    6a25084 View commit details
    Browse the repository at this point in the history