Nikos Baxevanis

>such that you can reliably see the log output without it getting overwritten by the reporting mechanism What do you mean exactly?

Yeah, I assume that's exactly what [silently](http://hackage.haskell.org/package/silently-1.2.5/docs/System-IO-Silently.html) does. Even though it's under the Hspec umbrella, it's standalone so it can be used with other testing systems as well.

What @HuwCampbell suggests should work. For sure though we ought to put some more on the README or even introduce some `docs` thing.

@kirelagin, what would be the easiest way to reproduce this (cross platform)? [`with-utf8`](https://hackage.haskell.org/package/with-utf8) looks good :+1:

@thumphries, @dalaing, we had a similar discussion around this with @jystic in https://github.com/hedgehogqa/fsharp-hedgehog/issues/139#issuecomment-338966392 for [fsharp-hedgehog](https://github.com/hedgehogqa/fsharp-hedgehog/). There, we ended up doing it in a separate library that we called [fsharp-hedgehog-experimental](https://github.com/hedgehogqa/fsharp-hedgehog-experimental). Perhaps...

I'd bootstrap in (kind of ) the same way as [F# compiler bootstraps](https://github.com/dotnet/fsharp/blob/main/docs/compiler-guide.md#bootstrapping); in our case the latest stable *major* release can be used to build a "proto" Hedgehog assembly.

Perhaps there can always be a pre-compiled Hedgehog-proto.dll (that we can trust, e.g. knowing its SHA256).

>This concept is inherited from QuickCheck and I haven't thought much about whether it could be made better. Size can be confusing because there are some generators which totally ignore...

Apart from the idea of constraining the `Size` which indeed looks interesting and useful, this looks weird: >λ> sample (resize 100 (int64 (exponential 0 maxBound))) >0 I think I would...

Perhaps, this is related: https://github.com/hedgehogqa/haskell-hedgehog/issues/122 If so, you should be able to load it once.