Alexandre Archambault

I can't reproduce that locally with Adopt 13.0.2 (on macOS): ```bash $ jabba use [email protected] $ java -version openjdk version "13.0.2" 2020-01-14 OpenJDK Runtime Environment AdoptOpenJDK (build 13.0.2+8) OpenJDK 64-Bit...

`sbt testJVM/test` works too. Same thing with `[email protected]` via jabba. Are you consistently getting that error, @SethTisue?

Reproduced with `[email protected]`. `[email protected]` seems fine OTOH. No idea what can cause that though 🤔

Wow, thanks 😄 Glad it's been useful to you! (and that you took the time to say it :)

You're right, I was thinking at the beginning to just submit scalacheck-shapeless to shapeless-contrib (https://github.com/typelevel/shapeless-contrib/issues/28), but it finally remained a separate project. I'm checking about the status of shapeless-contrib, and...

For now, the main difference is that scalacheck-shapeless depends on more recent versions of both shapeless (2.1-RC1) and scalacheck (1.12.1). The coproduct support in scalacheck-shapeless is also more finely tuned,...

@milessabin Does this ring a bell to you? This looks quite similar to https://github.com/alexarchambault/scalacheck-shapeless/issues/7#issuecomment-103904848, although removing `arbContainer2` from scalacheck-shapeless doesn't address the issue here (one just gets "cannot find implicit...

https://github.com/alexarchambault/scalacheck-shapeless/pull/51 seems to solve this issue, without resorting to catching stack overflows. But it it uses `Gen.fail`, on negative sizes (interpreted as the termination condition of coproduct generation).

Quick heads up here. If my understanding is correct, the problem is actually more serious than initially though - and doesn't have a quick fix, it seems. The problem here...

To workaround that, I may introduce two ways of deriving Arbitraries for coproducts, - one that can fail, but fine with recursive types, and - one that doesn't explicitly fail...