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

Classes #1129

Merged
merged 36 commits into from
Jul 12, 2024
Merged

Classes #1129

merged 36 commits into from
Jul 12, 2024

Commits on Jun 20, 2024

  1. class: primitive implementation of TakeMembers::result

    @ice1000
    ice1000 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    b10d24e View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. expr: new

    @HoshinoTented
    HoshinoTented committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    22673c5 View commit details
    Browse the repository at this point in the history

  2. term: new, but we need to impl TermComparator/Synthesizer

    @HoshinoTented
    HoshinoTented committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    6984db7 View commit details
    Browse the repository at this point in the history

  3. tyck: new

    @HoshinoTented
    HoshinoTented committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    2bd64aa View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2024

  1. class: try this

    @HoshinoTented
    HoshinoTented committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    7cc7e35 View commit details
    Browse the repository at this point in the history

  2. member: normalizer

    @HoshinoTented
    HoshinoTented committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    7a71be1 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. merge: Merge branch 'main' into classes

    @ice1000
    ice1000 committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    89c4e17 View commit details
    Browse the repository at this point in the history

  2. cast: more information

    @HoshinoTented
    HoshinoTented committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    86bd937 View commit details
    Browse the repository at this point in the history

  3. member: safe way

    @HoshinoTented
    HoshinoTented committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    7dcc4aa View commit details
    Browse the repository at this point in the history

  4. normalize: fix something

    @HoshinoTented
    HoshinoTented committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    1302fd3 View commit details
    Browse the repository at this point in the history

  5. cast: StableWHNF

    @HoshinoTented
    HoshinoTented committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    050c950 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. conversion: is it right?

    @HoshinoTented
    HoshinoTented committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    daf583d View commit details
    Browse the repository at this point in the history

  2. misc: oops

    @HoshinoTented
    HoshinoTented committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    95a150c View commit details
    Browse the repository at this point in the history

  3. class: maybe I should run some tests

    @HoshinoTented
    HoshinoTented committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    81813e3 View commit details
    Browse the repository at this point in the history

  4. prettier: new

    @HoshinoTented
    HoshinoTented committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    faad9e0 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. class: omg

    @HoshinoTented
    HoshinoTented committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    bb67d5b View commit details
    Browse the repository at this point in the history

  2. misc: docs

    @HoshinoTented
    HoshinoTented committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    c0d2569 View commit details
    Browse the repository at this point in the history

  3. misc: use equals

    @HoshinoTented
    HoshinoTented committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    1cd73f7 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. class: add test, but why failed on "shared"?

    @HoshinoTented
    HoshinoTented committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    f4d4036 View commit details
    Browse the repository at this point in the history

  2. conversion: remove something

    @HoshinoTented
    HoshinoTented committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    b5c1938 View commit details
    Browse the repository at this point in the history

  3. misc: fix unresolved meta

    @HoshinoTented
    HoshinoTented committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    06da7d8 View commit details
    Browse the repository at this point in the history

  4. class: omg, it passes

    @HoshinoTented
    HoshinoTented committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    3218d25 View commit details
    Browse the repository at this point in the history

  5. class: add more test

    @HoshinoTented
    HoshinoTented committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    8e33f0c View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. normalize: MemberCall extends BetaRedex

    @ice1000
    ice1000 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    a1247a7 View commit details
    Browse the repository at this point in the history

  2. class: code review

    @ice1000
    ice1000 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    2fb4b5a View commit details
    Browse the repository at this point in the history

  3. merge: branch 'coe' into classes 

    # Conflicts:
#	base/src/main/java/org/aya/tyck/ExprTycker.java
    @ice1000
    ice1000 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c3a8406 View commit details
    Browse the repository at this point in the history

  4. merge: branch 'main' into classes

    @ice1000
    ice1000 committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    ad53fb0 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. member: beta redux

    @HoshinoTented
    HoshinoTented committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    a0459b7 View commit details
    Browse the repository at this point in the history

  2. revert: previous commit

    @ice1000
    ice1000 committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    bd870c4 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. class: error

    @HoshinoTented
    HoshinoTented committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    3442d05 View commit details
    Browse the repository at this point in the history

  2. test: missing

    @HoshinoTented
    HoshinoTented committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    397a6f6 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. class: code review, do not compute all the types

    @ice1000
    ice1000 committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    a6e9a4f View commit details
    Browse the repository at this point in the history

  2. class: done code review, remove some unnecessary stuff 

    Co-authored-by: HoshinoTented <hoshinotented@qq.com>
    @ice1000 @HoshinoTented
    ice1000 and HoshinoTented committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    4b3843f View commit details
    Browse the repository at this point in the history

  3. class: serialize memcall and new, need classcast and classcall

    @ice1000
    ice1000 committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    6f6b9ed View commit details
    Browse the repository at this point in the history

  4. todo: do not panic

    @ice1000
    ice1000 committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    309bc3f View commit details
    Browse the repository at this point in the history

  5. pretty: explicitize when signature is null

    @ice1000
    ice1000 committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    8f52aab View commit details
    Browse the repository at this point in the history