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

Polymorphic equality #1267

Draft
wants to merge 39 commits into
base: dev
Choose a base branch
from
Draft

Polymorphic equality #1267

wants to merge 39 commits into from

Commits on Apr 14, 2024

  1. feat(statics.re):add eq test polymor

    @GuoDCZ
    GuoDCZ committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    9db775e View commit details
    Browse the repository at this point in the history

  2. feat(dynamics/Transition.re):add eq test polymorph

    @GuoDCZ
    GuoDCZ committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    e7730c2 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. feat(transition.re):merge eq & neq case

    @GuoDCZ
    GuoDCZ committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    3610951 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. feat(DH.re):give up fun compare

    @GuoDCZ
    GuoDCZ committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    e8a22ac View commit details
    Browse the repository at this point in the history

  2. feat(Init.ml):add polymorphic equal test documentation

    @GuoDCZ
    GuoDCZ committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    7880dd7 View commit details
    Browse the repository at this point in the history

  3. Revert "feat(DH.re):give up fun compare" 

    This reverts commit e8a22ac.

quit change DH.re
    @GuoDCZ
    GuoDCZ committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    0073340 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. merge to dev

    @GuoDCZ
    GuoDCZ committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    8dadb42 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Merge branch 'dev' into polymorphic-equal-test

    @cyrus-
    cyrus- authored Apr 24, 2024
    Configuration menu
    Copy the full SHA
    67cbcf3 View commit details
    Browse the repository at this point in the history

  2. cleanup init

    @cyrus-
    cyrus- committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    e62b594 View commit details
    Browse the repository at this point in the history

  3. more init tweaks

    @cyrus-
    cyrus- committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    8cae0f8 View commit details
    Browse the repository at this point in the history

  4. make evaluator state non-abstract so it doesnt mess up Init.ml serial… 

    …ization
    @cyrus-
    cyrus- committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    e22d3b4 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Merge branch 'dev' of github.com:hazelgrove/hazel into polymorphic-eq… 

    …ual-test
    @GuoDCZ
    GuoDCZ committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    1221b2e View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. fit: error when eq contains arrow

    @GuoDCZ
    GuoDCZ committed May 28, 2024
    Configuration menu
    Copy the full SHA
    391b7f2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'polymorphic-equal-test' of github.com:hazelgrove/hazel … 

    …into polymorphic-equal-test

merge to push
    @GuoDCZ
    GuoDCZ committed May 28, 2024
    Configuration menu
    Copy the full SHA
    3885a66 View commit details
    Browse the repository at this point in the history

  3. fix format

    @GuoDCZ
    GuoDCZ committed May 28, 2024
    Configuration menu
    Copy the full SHA
    6749fe7 View commit details
    Browse the repository at this point in the history

  4. fix: indet for type inconsistent

    @GuoDCZ
    GuoDCZ committed May 28, 2024
    Configuration menu
    Copy the full SHA
    16a0f54 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. fix typfun exception; update document

    @GuoDCZ
    GuoDCZ committed May 29, 2024
    Configuration menu
    Copy the full SHA
    ff282ab View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into polymorphic-equal-test

    @cyrus-
    cyrus- authored May 29, 2024
    Configuration menu
    Copy the full SHA
    abbb39d View commit details
    Browse the repository at this point in the history

  3. fix(dynamic): DH constructor is not arrow

    @GuoDCZ
    GuoDCZ committed May 29, 2024
    Configuration menu
    Copy the full SHA
    e74a8c8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'polymorphic-equal-test' of github.com:hazelgrove/hazel … 

    …into polymorphic-equal-test
    @GuoDCZ
    GuoDCZ committed May 29, 2024
    Configuration menu
    Copy the full SHA
    d9f0650 View commit details
    Browse the repository at this point in the history

  5. partial fix constructor

    @GuoDCZ
    GuoDCZ committed May 29, 2024
    Configuration menu
    Copy the full SHA
    811b6bd View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. fix: inconsitent types error moves to Operator

    @GuoDCZ
    GuoDCZ committed May 30, 2024
    Configuration menu
    Copy the full SHA
    6b2c1c6 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. fix: doc/errmsg

    @GuoDCZ
    GuoDCZ committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a6fba60 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. rename error

    GuoDCZ committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    a525bc8 View commit details
    Browse the repository at this point in the history

  2. revise cursorInsepctor

    GuoDCZ committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    6a40e73 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. handle static info in elaborate

    GuoDCZ committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    12d7f8c View commit details
    Browse the repository at this point in the history

  2. remove Constructor have arrow

    GuoDCZ committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    9ffdb8e View commit details
    Browse the repository at this point in the history

  3. dynamic type eq Indet, remaining issue on Construct cmp

    GuoDCZ committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    79daa60 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. rewrite logic

    GuoDCZ committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    15bc38a View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. Merge branch 'dev' into polymorphic-equal-test

    @cyrus-
    cyrus- authored Jul 25, 2024
    Configuration menu
    Copy the full SHA
    a0280d9 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge branch 'dev' of github.com:hazelgrove/hazel into polymorphic-eq… 

    …ual-test
    GuoDCZ committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2fa97a9 View commit details
    Browse the repository at this point in the history

  2. merge resolve

    GuoDCZ committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    6dd31d0 View commit details
    Browse the repository at this point in the history

  3. forTyp

    GuoDCZ committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    7b24c83 View commit details
    Browse the repository at this point in the history

  4. fix merge

    GuoDCZ committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    44394a3 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2024

  1. support constructor compare

    GuoDCZ committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    91eca93 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. seperate DH poly eq logic

    GuoDCZ committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    bf98a20 View commit details
    Browse the repository at this point in the history

  2. settle Typ update

    GuoDCZ committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    a950b49 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. fix(DHExp.re): Consider Elab Hole Type

    GuoDCZ committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    3d69848 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2024

  1. Merge branch 'dev' into polymorphic-equal-test

    @cyrus-
    cyrus- authored Nov 27, 2024
    Configuration menu
    Copy the full SHA
    d235ff3 View commit details
    Browse the repository at this point in the history