-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Issues while updating to 0.10.2 #5
Comments
Hi, thanks for help, and sorry for late reply. I looked at it now (your points helped) and it appears that the problem is somewhere deeper, in the derived |
Since the purescript/purescript#2482 is closed, what's the status of this one? |
I gonna take another bite at this issue now. |
@zudov I've had a look at the code and the issue is the This becomes problematic when combining There are two possible solutions:
|
Hm, my reasoning can't be correct since it actually worked with PureScript 0.9.3. :) However, I was able to make it work with 0.10.5 generating empty or singleton arrays with 0.5 probability. Another reason might be that strongcheck is just "painfully" slow since psc 0.10: purescript-deprecated/purescript-strongcheck#38 |
I wondered about that too. An easy-ish test would be to use quickcheck instead of strongcheck and see if it's still misbehaving. I'm not sure, but I don't think this uses any strongcheck specific features. And by "painfully" I meant something like 10x slower, it shouldn't be bad enough to make things run indefinitely as seems to happen now. |
Some observations after playing around with it:
So it seems to me there is some exponential runtime bug somewhere, but I can't tell where... |
Any news on this issue? It is preventing purescript-argonaut-generic-codecs, purescript-bridge, purescript-servant-support from upgrading to 0.10.x eskimor/purescript-argonaut-generic-codecs#8 |
I would be in favor of skipping the And maybe put a warning somewhere about the combination of recursive data types and arrays. |
A byproduct from the attempts to find what goes wrong there. Should slightly help with further work on #5.
Hi Konstantin, to use
purescript-strongcheck-generics
with latest0.10.2
I've updated few dependencies the package and added tiny changes to the code with the following commit: https://github.com/sectore/purescript-strongcheck-generics/commit/af7edf02e95ede30998c8d3df33f517f4995d954psci
is happy about all changes. However, it seems that the recursion of theTree a
example causes some issues while running the tests. The tests runs only if I disable all checks ofTree Int
(see commit mentioned above).Running the tests of
props_gArbitrary
withoutshowSample
/quickCheck
usingTree Int
Running the tests of
props_gArbitrary
withshowSample
/quickCheck
by usingTree Int
. Tests are "holded" as follows:* Running tests... 100/100 test(s) passed. 1/1 test(s) passed. [Test.Main.Cons (Test.Main.Cons Test.Main.Nil),Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil)),Test.Main.Cons (Test.Main.Cons Test.Main.Nil),Test.Main.Cons (Test.Main.Cons Test.Main.Nil),Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil))))),Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil)),Test.Main.Nil,Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil)))))))),Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil))))),Test.Main.Cons (Test.Main.Cons (Test.Main.Cons Test.Main.Nil))]
It seems that the recursion of nested (Tree) data are failed. I dived into
Test.StrongCheck.Generic.gArbitrary
, also intoTest.StrongCheck.Generic.genGenericSpine
but I could not find out how to fix this issue.Any idea?
Thanks!
-Jens
The text was updated successfully, but these errors were encountered: