Adds a typing system to Phasm

2023-01-07 16:24:50 +01:00
1 changed files with 0 additions and 5 deletions
--- a/TODO.md
+++ b/TODO.md
@ -1,10 +1,5 @@
 # TODO

- Implement a proper type matching / checking system
-  - Implement subscript as an operator
-  - Re-implement Subscript contraints - Doing the LiteralFitsConstraint with a tuple doesn't put the types on the tuple elements
-  - Implement structs again, with the `.foo` notation working
-
 - Rename constant to literal

 - Implement a trace() builtin for debugging