Commit graph

5 commits

Author SHA1 Message Date
7a0cb6753a
Add a 'verify' command, ...
- Add a command to check the integrity of the compiler
 - Add a diagnostic when a tuple index is out of bounds
 - Make 'build' the default command
 - ...
2023-06-30 19:30:42 +02:00
8d2f3c4977
Remove (de)serialization logic 2023-06-26 19:02:23 +02:00
2f9b6db5af
Adjust the way let-declarations are visited in the type-checker
Let-declarations are now roughly visited in the order they are
referenced, resulting in constraints being propagated in the same way.
2023-06-22 15:30:14 +02:00
f58011e50e
Refactor by splitting into multiple files 2023-06-21 16:56:04 +02:00
3fc184a0ce
Move compiler to its own subdirectory 2023-04-14 20:04:14 +02:00
Renamed from src/cst.ts (Browse further)