Right now when testing typechecking we only say whether the test should be correctly typed or not and the test succeeds if it does so. However if we're wrong about it being correctly typed then we have a false positive. Example of this being prog variables being globally scoped and the tests accepted this.
To make sure we don't have any similar errors all typechecking tests should also have a codegen test for the same code
Aavild
commented
1 year ago
Right now when testing typechecking we only say whether the test should be correctly typed or not and the test succeeds if it does so. However if we're wrong about it being correctly typed then we have a false positive. Example of this being prog variables being globally scoped and the tests accepted this.
To make sure we don't have any similar errors all typechecking tests should also have a codegen test for the same code