|
|
00bcaa93ee
|
Make record types partially work
|
2022-09-07 12:45:38 +02:00 |
|
|
|
20af138fa5
|
Minor changes
- Refactor Constructor to IdentifierAlt
- Make () -> a unify with a
|
2022-09-01 20:18:47 +02:00 |
|
|
|
666256ed15
|
Add support for type-checking recursion and improove Checker.addConstraint
|
2022-09-01 20:07:09 +02:00 |
|
|
|
6063b5f591
|
Enable parsing let declaration block bodies
|
2022-08-31 13:53:57 +02:00 |
|
|
|
3381a2bd5d
|
Fix a let body not closing properly during parsing
|
2022-08-31 13:46:18 +02:00 |
|
|
|
48f1b0f45c
|
Add some type-checking logic and improve diagnostics
|
2022-08-31 13:29:56 +02:00 |
|
|
|
cda44e4c25
|
Extend scanner/parser to support more syntactic structures
|
2022-08-29 16:17:55 +02:00 |
|
|
|
d813e85d00
|
Enable parsing of simple let-expressions
|
2022-08-28 21:12:25 +02:00 |
|
