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

Conversation

mio-19
Copy link
Contributor

@mio-19 mio-19 commented Jun 30, 2022

resolves #386

@mio-19 mio-19 changed the title Struct Struct WIP Jun 30, 2022
@mio-19 mio-19 mentioned this pull request Jun 30, 2022
Closed
@mio-19 mio-19 marked this pull request as draft July 14, 2022 07:13
@imkiva
Copy link
Member

imkiva commented Jul 27, 2022

image

Please rebase your branch when pulling from origin. This can be done by git pull -r or git pull --rebase.

@mio-19
Copy link
Contributor Author

mio-19 commented Jul 27, 2022

@imkiva ok

mio-19 added 21 commits July 31, 2022 15:05
@mio-19
REFACTOR: move TeleDecl.StructDecl to ClassDecl.StructDecl
284e28a
@mio-19
STRUCT: add RefTerm.Self
d4b4225
@mio-19
REFACTOR: make StructDef and StructDecl classable
2c99a71
@mio-19
REFACTOR: move CallTerm.Struct to term.StructCall
ddc52d9
@mio-19
STRUCT: rewrite StructCall
fd36c5b
@mio-19
REFACTOR: move StructField to ClassDecl.StructDecl.StructField
503d9de
@mio-19
MISC: fix idea indent
8adb04e
@mio-19
STRUCT: add parents in ClassDecl
9616625
@mio-19
STRUCT: ideas about inheritance desugar
7a3d1c6
@mio-19
STRUCT: remove selfTele from FieldDef
fc8f77f
@mio-19
STRUCT: implement Field inheritance check
200ea0e
@mio-19
STRUCT: rempve structArgs from Access
983a8a1
@mio-19
STRUCT: add fieldMap for StructDef
7fa15b3
@mio-19
STRUCT: add lookupField in StructDef
80f5b94
@mio-19
STRUCT: implement IntroTerm.New
c9bc2bf
@mio-19
STRUCT: remove RefTerm.Self from core - it will be a syntactic sugar
1384d9d
@mio-19
STRUCT: partially implement implicit override
fb00b8b
@mio-19
STRUCT: declare StmtResolver.resolveStructDecl()
621a226
@mio-19
CLASSABLE: implement LittleTyper.defCall
7d206e6
@mio-19
CLASSABLE: implement part of StmtResolver.resolveStructDecl
364c6ad
@mio-19
CLASSABLE: implement a part of DefEq.doCompareTyped for StructCall
45ab617
@ice1000 ice1000 mentioned this pull request Feb 22, 2023
Merged
@bors bors bot closed this in 324b924 Apr 11, 2023
@ice1000 ice1000 deleted the struct branch April 16, 2023 02:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@imkiva imkiva imkiva left review comments

@ice1000 ice1000 ice1000 left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Overhaul struct
3 participants
@mio-19 @imkiva @ice1000