search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
224 stars 11 forks source link

flake in Kind test: we enumerate from most to superkinds #1123

Open johnynek opened 8 months ago

johnynek commented 8 months ago 
[info] - we enumerate from most to superkinds *** FAILED *** (14 minutes, 17 seconds)
[info]   StackOverflowError was thrown during property evaluation.
[info]     Message: "None"
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Invariant, Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Covariant, Type), Type))), Cons(Arg(Phantom, Cons(Arg(Contravariant, Cons(Arg(Phantom, Type), Type)), Type)), Cons(Arg(Contravariant, Cons(Arg(Covariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Invariant, Type), Type))), Cons(Arg(Phantom, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Phantom, Type), Type)))))
[info]     )
johnynek commented 8 months ago 
[info] - we enumerate from most to subkinds *** FAILED *** (1 second, 588 milliseconds)
[info]   JavaScriptException was thrown during property evaluation.
[info]     Message: RangeError: Maximum call stack size exceeded
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Phantom, Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Phantom, Type), Type))), Cons(Arg(Invariant, Cons(Arg(Phantom, Cons(Arg(Invariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))), Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Covariant, Type), Type)))), Cons(Arg(Invariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))))
[info]     )