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

Non-aliased Open variants are implicitly univared inside ptyp poly: #14

Open
wants to merge 7 commits into
base: open-variants-are-implicitly-univared-inside-Ptyp_poly
Choose a base branch
from
Open

Non-aliased Open variants are implicitly univared inside ptyp poly: #14

wants to merge 7 commits into from

Commits on Apr 25, 2023

  1. Don't lift univars under aliases

    @Octachron
    Octachron committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    29a699a View commit details
    Browse the repository at this point in the history

  2. Only lift polymorphic variant case

    @Octachron
    Octachron committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    b42dc07 View commit details
    Browse the repository at this point in the history

  3. Nested binders

    @Octachron
    Octachron committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    53922a3 View commit details
    Browse the repository at this point in the history

  4. Rework or document test changes

    @Octachron
    Octachron committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    fdc2957 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. Only trigger implicit quantification under user-written Ptyp_poly

    @Octachron
    Octachron committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    a0ffef9 View commit details
    Browse the repository at this point in the history

  2. revert testsuite change

    @Octachron
    Octachron committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    625e21c View commit details
    Browse the repository at this point in the history

  3. Use protect

    @Octachron
    Octachron committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    efe2ccd View commit details
    Browse the repository at this point in the history