In Spec.hs, there are unit tests like unitTest2 "main = 0" "0" This was a convenient way to test expressions, but main should be reserved for functions that belong in an input/output loop.
We should change all the unit tests, and we need to handle runStaticChecks differently for main vs inside unit tests.
In Spec.hs, there are unit tests like
unitTest2 "main = 0" "0"This was a convenient way to test expressions, butmainshould be reserved for functions that belong in an input/output loop.We should change all the unit tests, and we need to handle
runStaticChecksdifferently formainvs inside unit tests.