Commit graph

10 commits

Author SHA1 Message Date
106f2eb30f [fine] Giving up on generics for now 2024-01-17 09:12:00 -08:00
55749af917 [fine] Some fixes around return statements 2024-01-15 09:04:28 -08:00
44bc072b04 [fine] Test for function return type mismatch 2024-01-15 07:52:49 -08:00
50eb7a9673 [fine] This one too 2024-01-13 08:16:50 -08:00
1c1c03e1d9 [fine] Make sure we check this one 2024-01-13 08:15:10 -08:00
5ebede4a21 [fine] Gobs of work
- Assertion improvements
- Type check function calls
- Functions in the environment
- Compile function calls
2024-01-13 08:12:39 -08:00
4bd3ac06fa [fine] Use the right tree to get the environment for an identifier
Can't go up to the parent, that defeats the whole point! Use *my*
environment, not my parent's environment!!
2024-01-07 09:13:34 -08:00
8835d9eaf2 [fine] Tweak syntax for assertions to make me happier 2024-01-06 07:54:00 -08:00
758aef4db9 [fine] Get rid of "value required", it's not useful 2024-01-06 07:27:44 -08:00
a9c1b04920 [fine] Tests for type errors
WHEEEEEEE!
2024-01-05 19:29:45 -08:00