NoRedInk / haskell-verify-examples

WIP
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

No implict cradle in tests #3

Closed micahhahn closed 3 years ago

micahhahn commented 3 years ago

Curious for your thoughts on this @stoeffel!

It felt a little gross to load up the cradle for the tests of the project that was running them. So I pulled out the cradle code into a separate parse function that we do not call for tests. This also let me bring back the Headless test (normally I wouldn't care this much about headless modules, but stack includes a headless Setup.hs by default).

Theoretically, we could include an entire stack sub project in our testing assets (and maybe a cabal one as well) to test that our cradle code works correctly.