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

Implement class syntax #138

Merged
merged 72 commits into from
Sep 10, 2022
Merged

Implement class syntax #138

merged 72 commits into from
Sep 10, 2022

Conversation

mtshiba
Copy link
Member

@mtshiba mtshiba commented Sep 10, 2022

Closes #124.

mtshiba added 30 commits September 2, 2022 14:40
@mtshiba
Impl ShortenedRecord desugaring
d2ed277
@mtshiba
WIP: Add DataPack
ce94f81
@mtshiba
Merge branch 'main' into class
62e89a1
@mtshiba
Change ref and ref! to unary operators
f0d686c
@mtshiba
Add some const funcs & Remove Evaluator
c4bff5d
@mtshiba
Move python module definition files
e2bd64e
@mtshiba
Fix constant evaluation methods to return EvalResult
e1eebb2
@mtshiba
Unify poly_classes and poly_traits of Context
618f73f
@mtshiba
Fix inference bugs
78c0b60
@mtshiba
Fix refinement inference bugs
094eb49
@mtshiba
Add hir::MethodDefs
924ab27
@mtshiba
Update type/04_class.md
e7898c0
@mtshiba
WIP: Impl DataPack type checking
263c43d
@mtshiba
Unify Type::Class/Trait
22cb113
@mtshiba
Impl DataPackVattern desugaring
18116f1
@mtshiba
Fix a refinement type bug
f4cb9f6
@mtshiba
Impl Display for ConstSubr
174b37d
@mtshiba
Add TypeObj
cf0858d
@mtshiba
WIP: impl type checker
e860da2
@mtshiba
Refactor
2320ff0
@mtshiba
Refactor
25094ef
@mtshiba
Refactor
fb0d2f5
@mtshiba
Add register_gen_*
d5f2b5f 
`register_*` renamed `register_const_*`
@mtshiba
Fix type inference imcompleteness
4a8572a 
Add intersection type inference
@mtshiba
Fix type checker bugs
7e08f0b
@mtshiba
Update effectcheck.rs
fadce08
@mtshiba
Move eval.rs to context
1b4c9aa
@mtshiba
Create link.rs
b755fdf
@mtshiba
Add ClassType object
be8c097
@mtshiba
Impl Linker
36aa226
mtshiba added 28 commits September 7, 2022 23:51
@mtshiba
Merge from main
0199adc
@mtshiba
Fix parser bugs
fe552e2
@mtshiba
Fix self unify bugs
f38c428
@mtshiba
Update hir.rs
cba2eaa
@mtshiba
Impl Override feature
e3e8a7e
@mtshiba
Fix parser crashing bug
6055845
@mtshiba
Fix bugs related to Ref/RefMut
60b7cce
@mtshiba
Improve error display
da7b82d
@mtshiba
Update version (v0.4.0-beta.0)
e6f97df
@mtshiba
Fix duplicate method definition bugs
7573c0e
@mtshiba
Impl Location::RangePair
c2edad7
@mtshiba
Impl var_args code generating
4f69725
@mtshiba
Fix a method calling bug
c11ea3e
@mtshiba
Merge branch 'class' into beta
2d365dc
@mtshiba
Update version (v0.4.0-beta.1)
87b55c6
@mtshiba
Update cargo_publish.bat
25f5e85
@mtshiba
Implement inheritance check
892ab6d
@mtshiba
method_name: Option<Token> -> Option<Identifier>
7a682db
@mtshiba
WIP: impl visibility validation
75f3444
@mtshiba
Fix accessing to private methods bug
b50c914
@mtshiba
Fix Linker crashes
c96fe95
@mtshiba
Fix visibility bugs
3895d29
@mtshiba
Fix error handling bugs
d986750
@mtshiba
Update test.rs
ec30795
@mtshiba
Impl const accessing attributes
c5f2d81
@mtshiba
Refactor: method_defs -> methods_list
048e281
@mtshiba
Omit class names in member access
fe96929
@mtshiba
Update desugar.rs
02e0beb
@mtshiba mtshiba merged commit d56fd68 into main Sep 10, 2022
@C-BJ C-BJ deleted the class branch September 10, 2022 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add class syntax
2 participants
@mtshiba @C-BJ