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

Refactored traits implementation #6

Closed
wants to merge 118 commits into from
Closed

Refactored traits implementation #6

wants to merge 118 commits into from

Conversation

madmann91
Copy link
Contributor

No description provided.

@s8starie
added trait tests
e93fffd
@s8starie
implemented lexing of 'trait' and 'impl' keywords
5569ded
@s8starie
implemented trait-decl parsing (no typechecking jet)
6db01ce
@s8starie
better errors
9e7db2a
@s8starie
parsing of trait impl blocks
40a2fbf
@s8starie
name binding bug
9011593
@s8starie
started work on trait type
0140b91
@s8starie
refactored traits
1149f61
@s8starie
bind bug
efeac4d
@s8starie
initial type checking for trait and impl declarations
cf8e39a
@s8starie
finished typechecking for trait and impl blocks
57c4915
@s8starie
finished type checking traits
27ad386
@s8starie
implemented self
9dbf763
@s8starie
implemented generic trait impls
6189cdc
@s8starie
added and updated traitstest files
066e972
@s8starie
implemented feedback
4ecc471
@s8starie
cleanup
c764d31
@s8starie
bug related to multiple definitions of the same trait
1526630
@s8starie
implemented trait bound checking for struct, enum, type alias, trait …
8236654 
…and impl
@s8starie
bug fixes related to prev. commit
e858a33
@s8starie
codegen bugfix + codestyle
74949f6
@s8starie
style
11e17c6
@s8starie
typo
36e7abb
@s8starie
bug fix
e2b9ef7
@s8starie
generic impl now work. no Paterson conditions jet
d72fc2b
@s8starie
paterson conditions
8593d3d
@s8starie
--allow-diverging-instances
9153b4a
@s8starie
added tests
d9f4f5b
@s8starie
created stdlib and added it to compiler pipeline
3484875
@s8starie
added attribute for undecidable impls (instead of command line option…
d8073ee 
…) and added builtin support for the add operator
@madmann91
Better warning messages
e2fc5a0
@madmann91
Improve vector math test to use traits
1c976ce
@madmann91
Fix case in docs
22b07d4
@madmann91
Bug fix: Test for trait requirements on impls
3f912f9
@madmann91
Test case for trait requirements
a32cc28
@madmann91
Improve warning message
e436eef
@madmann91
Improve test case for nested polymorphic functions
fac5223
@madmann91
Improve test case for basic traits with polymorphic instantiation
48aaed8
@madmann91
Add test case for functions with filters and no body
97decdf
@madmann91
Improve tests
3a8b332
@madmann91
Fix even more bugs and refactor
1afe0d4
@madmann91
Remove last_decl from TypeChecker and move parent to Node ins…
489fef7 
…tead
@madmann91
Store *full* result of impl resolution in AST
150fe94
@madmann91
Move stringify() to types.cpp
994ac85
@madmann91
Handle monomorphization based on the current emission context
507e837
@madmann91
Fix printing for various objects
9c272ae
@madmann91
Implement where clause tracking and default trait members
1af9671
@madmann91
Remove equals() variants in favor of default implementation
b7decbf
@madmann91
Fix ordering issue when building impl candidates
3394763
@madmann91
Remove no longer used test data
c78ebb1
@madmann91
Improve tests
6f2be78
@madmann91 madmann91 mentioned this pull request Mar 10, 2021
Closed
@Hugobros3
Copy link
Contributor

Closing in favour of #19

@Hugobros3 Hugobros3 closed this Sep 14, 2023
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.
3 participants
@madmann91 @Hugobros3 @s8starie