Closed oflatt closed 6 months ago
Our run_test method should check that the initial term is assigned a type. That way, we can be more confident the typechecker is complete. This might be a good task to do after the interpreter is run on all our tests as well.
run_test
Done
oflatt
commented
6 months ago
Our
run_testmethod should check that the initial term is assigned a type. That way, we can be more confident the typechecker is complete. This might be a good task to do after the interpreter is run on all our tests as well.