implement-union-types #54
sashakoshka
commented
Owner
No description provided.
sashakoshka
added 40 commits 2024-03-06 13:16:49 -07:00
Add design for union type
69cbe192f9
Add a hashing system to Entity
a3de4f565e
Types can now produce hashes of themselves
581bdd050d
Add union type syntax to spec
8b302cf3c9
Add TypeUnion to entity
ada14b5c9d
Update expression parsing decision tree in parser/fspl/README.md
489f20972b
Add parser test for union type
acf254a1f3
Add union types to parser
b7539eb86a
Add match statements to the spec
bd432edefe
Add match statement to expresison parsing decision tree
5a2bf134a1
Add match expressions to entity
b286cf3e8d
Added match statements to the parser
ab8db825c0
Add match test to parser, fixed parsing and stringing of match
965adb3de6
Augh
b3b80f834c
Add Position() method to type
de0b649616
Parser understands these new developments
0abab71fa6
And so does analyzer
1ecd45e707
Analyzer checks uniqueness of types in union by comparing hashes
aaefb9e6bf
Add assignment rules for unions
52fc13bdeb
The assemble map pattern doesnt work for unions
e38ba2f4e2
Add some tests for the union type
aacf1be026
Add more tests for the union type
038d7f5564
Add some match statement tests
efebff502c
entity.Match.String() prints "in" instead of "on"
d95c3ae9dd
Improved match tests
18b6329ee5
Add more semantic fields to Match and Case
beefbd5ce7
Analyze match expressions
d036bd03b1
New test TestMatchErrNotUnion
7f5159925e
Generate union types
7e1bc350d1
Add match stub
55dec491eb
Generate match statements
9e6aebf518
Generate assignment to unions
7154f5d333
Generate phi node for default case in match switch
2f251b8274
Add union assignment tests to analyzer
716306dacb
Analyzer lets unions of the same type be assigned to eachother
a1dd782a88
Use TypesEqual() instead of comparing hashes
95adf1956e
Generator supports assigning unions to unions
c5e5b37e45
Add match/union generator tests
9611e5ca72
Add compiler tests for unions/matches
50e363b0da
One last test
863abddc4a
sashakoshka
merged commit f1fa0da6dd into main
sashakoshka
deleted branch implement-union-types
sashakoshka
referenced this issue from a commit
Merge pull request 'implement-union-types' (#54) from implement-union-types into main
sashakoshka
referenced this pull request
Implement sum/union types #16
sashakoshka
referenced this issue from a commit
Merge pull request 'implement-union-types' (#54) from implement-union-types into main
sashakoshka
referenced this issue from a commit
Merge pull request 'implement-union-types' (#54) from implement-union-types into main
No reviewers
Labels
No Label
bug
documentation
enhancement
help wanted
management
package: analyzer
package: compiler
package: errors
package: fsplc
package: generator
package: lexer
package: llvm
package: parser
performance
priority
question
refactor
status
backburner
status
duplicate
status
invalid
status
ongoing
status
wontfix
test
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: fspl/fspl#54
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "implement-union-types"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?