Thorough checklist of tests for TypeChecker
Closed this issue · 0 comments
elben commented
- Go through existing tests and verify correctness of environments and output
- Write thorough tests for each check function.
- Tests for deeply-nested things with confusing closures, to make sure TEnv and UEnv are thrown away and kept as appropriate.