quickCheckPure' and quickCheckPure stack safety #126
Description
quickCheckPure'
When I write
let _ = quickCheckPure' (mkSeed 1234) 100_000 \(x :: Int) -> x <? x + 1Then I get the error
/Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108
return Control_Bind.bind(dictMonad.Bind1())(v(s))(function (v1) {
^
RangeError: Maximum call stack size exceeded
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:21
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
* ERROR: Subcommand terminated with exit code 1
quickCheckPure
When I write
let _ = quickCheckPure (mkSeed 1234) 100_000 \(x :: Int) -> x <? x + 1Then I get the error
/Users/matt/workspace/purescript-quickcheck/output/Data.Identity/index.js:130
return bindIdentity;
^
RangeError: Maximum call stack size exceeded
at Object.Bind1 (/Users/matt/workspace/purescript-quickcheck/output/Data.Identity/index.js:130:9)
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:56
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:73:24
at /Users/matt/workspace/purescript-quickcheck/output/Control.Monad.State.Trans/index.js:108:65
* ERROR: Subcommand terminated with exit code 1
Discussion
They both appear to use replicateA which uses sequence. I've had issues with sequence and stack safety before.