[Haskell-cafe] property testing with context

[Oliver Charles]

On Mon, Oct 22, 2018 at 10:23 AM Ben Franksen <ben.franksen at online.de> wrote:
>
> 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!