Before changed was changed from SSM (Exp Bool) to Exp Bool I had collected some 30 tests that failed in a regression test suite. Changing that internal representation of the AST broke the syntax of all those tests.
It seems like @j-hui s changes in #11 automatically spits out regression tests if it finds a failing test case. I documented all the bugs I found and what I did to fix them, so a simple but maybe slightly time-consuming thing to do is to just backtrack and remove one fix at a time, and have QuickCheck automatically find the bug and generate the regression test for us. Sounds bad but it's definitely way quicker than manually rewriting the test cases.
Before
changedwas changed fromSSM (Exp Bool)toExp BoolI had collected some 30 tests that failed in a regression test suite. Changing that internal representation of the AST broke the syntax of all those tests.It seems like @j-hui s changes in #11 automatically spits out regression tests if it finds a failing test case. I documented all the bugs I found and what I did to fix them, so a simple but maybe slightly time-consuming thing to do is to just backtrack and remove one fix at a time, and have QuickCheck automatically find the bug and generate the regression test for us. Sounds bad but it's definitely way quicker than manually rewriting the test cases.