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

Struct WIP #429

Closed
wants to merge 28 commits into from
Closed

Struct WIP #429

wants to merge 28 commits into from

Commits on Jul 31, 2022

  1. REFACTOR: move TeleDecl.StructDecl to ClassDecl.StructDecl

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    284e28a View commit details
    Browse the repository at this point in the history

  2. STRUCT: add RefTerm.Self

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    d4b4225 View commit details
    Browse the repository at this point in the history

  3. REFACTOR: make StructDef and StructDecl classable

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    2c99a71 View commit details
    Browse the repository at this point in the history

  4. REFACTOR: move CallTerm.Struct to term.StructCall

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    ddc52d9 View commit details
    Browse the repository at this point in the history

  5. STRUCT: rewrite StructCall

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    fd36c5b View commit details
    Browse the repository at this point in the history

  6. REFACTOR: move StructField to ClassDecl.StructDecl.StructField

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    503d9de View commit details
    Browse the repository at this point in the history

  7. MISC: fix idea indent

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    8adb04e View commit details
    Browse the repository at this point in the history

  8. STRUCT: add parents in ClassDecl

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    9616625 View commit details
    Browse the repository at this point in the history

  9. STRUCT: ideas about inheritance desugar

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

  10. STRUCT: remove selfTele from FieldDef

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    fc8f77f View commit details
    Browse the repository at this point in the history

  11. STRUCT: implement Field inheritance check

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    200ea0e View commit details
    Browse the repository at this point in the history

  12. STRUCT: rempve structArgs from Access

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    983a8a1 View commit details
    Browse the repository at this point in the history

  13. STRUCT: add fieldMap for StructDef

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

  14. STRUCT: add lookupField in StructDef

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    80f5b94 View commit details
    Browse the repository at this point in the history

  15. STRUCT: implement IntroTerm.New

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    c9bc2bf View commit details
    Browse the repository at this point in the history

  16. STRUCT: remove RefTerm.Self from core - it will be a syntactic sugar

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    1384d9d View commit details
    Browse the repository at this point in the history

  17. STRUCT: partially implement implicit override

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    fb00b8b View commit details
    Browse the repository at this point in the history

  18. STRUCT: declare StmtResolver.resolveStructDecl()

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    621a226 View commit details
    Browse the repository at this point in the history

  19. CLASSABLE: implement LittleTyper.defCall

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

  20. CLASSABLE: implement part of StmtResolver.resolveStructDecl

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    364c6ad View commit details
    Browse the repository at this point in the history

  21. CLASSABLE: implement a part of DefEq.doCompareTyped for StructCall

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    45ab617 View commit details
    Browse the repository at this point in the history

  22. MISC: fix fmt

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    60776b3 View commit details
    Browse the repository at this point in the history

  23. STRUCT: implement CoreDistiller for StructCall

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    66e9611 View commit details
    Browse the repository at this point in the history

  24. STRUCT: fill ExprTycker.inferRef()

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    6d05e93 View commit details
    Browse the repository at this point in the history

  25. STRUCT: implement LittleTyper.term(CallTerm.Access)

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    f6a5071 View commit details
    Browse the repository at this point in the history

  26. STRUCT: implement StructCall compare

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    d7701a8 View commit details
    Browse the repository at this point in the history

  27. STRUCT: roughly implement ExprTycker synth for Expr.NewExpr

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    284a0e4 View commit details
    Browse the repository at this point in the history

  28. save kiwa changes

    @mio-19
    mio-19 committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    6e3e577 View commit details
    Browse the repository at this point in the history