Closed carymrobbins closed 2 years ago
Hej @carymrobbins, thanks for the PR!
Done! Added a test case that fails to terminate for the previous instance but succeeds with the new instance. I tried getting something working with System.Timeout.timeout
but it doesn't seem to play nice with QuickCheck.
Excellent, thanks for the test @carymrobbins !
CI indicates that for GHC 7 you need another import for the test. Would you be able to fix that?
Just pushed a new commit which I think should fix it.
Thanks, @carymrobbins ! GitHub requires me to baby-sit its actions, I have to start them manually all the time. But you can get quick feedback on your fork, e.g.: https://github.com/carymrobbins/cassava/actions/runs/1439662694
Great job, @carymrobbins !
The old instance was causing a non-terminating loop.