On Mon, Oct 22, 2018 at 10:23 AM Ben Franksen
Hi Ollie
This is fantastic! It's certainly much more than I hoped for.
I haven't looked into the details of your plugin yet, but from your description it looks as if this is currently geared towards "classical" unit tests. Perhaps this is not a problem: I think quickcheck & co report exceptions as a failed property, and if they don't we'll just have to catch the exception, print it and return False.
Yea, everything is very proof-of-concept at the moment. Right now, we have assert :: Bool -> IO (), but that could be changed to have a richer return type (and likely will as this project progresses).
I will definitely try it out and report back.
Super, please feel free to open issues/questions on GitHub!