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

WIP: Copy Covariance from Arend( #851

Closed
wants to merge 13 commits into from
Closed

WIP: Copy Covariance from Arend( #851

wants to merge 13 commits into from

Commits on Dec 23, 2022

  1. tyck: add CovarianceChecker class

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    97337b6 View commit details
    Browse the repository at this point in the history

  2. tyck: add RecursiveDataChecker

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    17b1646 View commit details
    Browse the repository at this point in the history

  3. tyck: add DataDecl.covariant

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    5c9d4ae View commit details
    Browse the repository at this point in the history

  4. tyck: cleanup RecursiveDataChecker and add term to NonPositiveDataError

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    1cf3588 View commit details
    Browse the repository at this point in the history

  5. tyck: add StructField.covariant

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    c47bc68 View commit details
    Browse the repository at this point in the history

  6. tyck: add ParametersCovarianceChecker

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    e3c12b1 View commit details
    Browse the repository at this point in the history

  7. tyck: ParametersCovarianceChecker handles PAppTerm

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    fd1d250 View commit details
    Browse the repository at this point in the history

  8. misc: remove null

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    8248a45 View commit details
    Browse the repository at this point in the history

  9. misc: cleanup

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    f318ea0 View commit details
    Browse the repository at this point in the history

  10. misc: cleanup

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    18d2961 View commit details
    Browse the repository at this point in the history

  11. misc: fix nullable

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    c3e23b9 View commit details
    Browse the repository at this point in the history

  12. misc: add null assert

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    08c3993 View commit details
    Browse the repository at this point in the history

  13. misc: cleanup

    @mio-19
    mio-19 committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    7f3d97b View commit details
    Browse the repository at this point in the history