Sasha Koshka sashakoshka
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-05 08:32:53 +00:00
55dec491eb Add match stub
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-05 08:15:55 +00:00
7e1bc350d1 Generate union types
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-04 19:22:57 +00:00
7f5159925e New test TestMatchErrNotUnion
d036bd03b1 Analyze match expressions
beefbd5ce7 Add more semantic fields to Match and Case
18b6329ee5 Improved match tests
Compare 4 commits »
sashakoshka opened issue fspl/fspl#53 2024-03-04 19:22:24 +00:00
Need Position() method for Expression
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-04 18:36:35 +00:00
d95c3ae9dd entity.Match.String() prints "in" instead of "on"
efebff502c Add some match statement tests
Compare 2 commits »
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-02 17:37:35 +00:00
038d7f5564 Add more tests for the union type
aacf1be026 Add some tests for the union type
e38ba2f4e2 The assemble map pattern doesnt work for unions
Compare 3 commits »
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-02 17:14:07 +00:00
52fc13bdeb Add assignment rules for unions
aaefb9e6bf Analyzer checks uniqueness of types in union by comparing hashes
1ecd45e707 And so does analyzer
0abab71fa6 Parser understands these new developments
de0b649616 Add Position() method to type
Compare 5 commits »
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-02 02:45:20 +00:00
b3b80f834c Augh
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-02 02:44:27 +00:00
965adb3de6 Add match test to parser, fixed parsing and stringing of match
ab8db825c0 Added match statements to the parser
b286cf3e8d Add match expressions to entity
5a2bf134a1 Add match statement to expresison parsing decision tree
Compare 4 commits »
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-02 02:03:57 +00:00
bd432edefe Add match statements to the spec
b7539eb86a Add union types to parser
acf254a1f3 Add parser test for union type
Compare 3 commits »
sashakoshka commented on issue fspl/fspl#16 2024-03-02 01:36:09 +00:00
Implement sum/union types

We are also going to need a match statement to extract the type of a union. Perhaps:

desc:String = match u in
sashakoshka commented on issue fspl/fspl#52 2024-03-01 17:29:57 +00:00
Change type and literal syntax

Example syntax, without the struct symbol change suggestion:

StructType: (. x:Int y:Int)
InterfaceType: (& [number]:Int)
UnionType: (
sashakoshka opened issue fspl/fspl#52 2024-03-01 17:25:54 +00:00
Change type and literal syntax
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-01 17:12:16 +00:00
489f20972b Update expression parsing decision tree in parser/fspl/README.md
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-01 08:00:28 +00:00
ada14b5c9d Add TypeUnion to entity
sashakoshka pushed to implement-union-types at fspl/fspl 2024-03-01 07:55:01 +00:00
8b302cf3c9 Add union type syntax to spec
581bdd050d Types can now produce hashes of themselves
a3de4f565e Add a hashing system to Entity
69cbe192f9 Add design for union type
Compare 4 commits »
sashakoshka created branch implement-union-types in fspl/fspl 2024-03-01 07:55:01 +00:00
sashakoshka pushed to main at fspl/fspl 2024-03-01 05:24:14 +00:00
fc301601f3 Add pkg.go.dev badge
sashakoshka released "v0.1.0" at fspl/fspl 2024-03-01 05:20:46 +00:00