search

johnynek / bosatsu

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

fix flakey subkind test #1002

Open johnynek opened 1 year ago

johnynek commented 1 year ago 
[info] - we enumerate from most to subkinds *** FAILED *** (2 minutes, 50 seconds)
[info]   StackOverflowError was thrown during property evaluation.
[info]     Message: "None"
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Covariant, Cons(Arg(Contravariant, Type), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))), Cons(Arg(Covariant, Cons(Arg(Contravariant, Cons(Arg(Covariant, Cons(Arg(Covariant, Type), Type)), Type)), Cons(Arg(Phantom, Cons(Arg(Contravariant, Type), Type)), Cons(Arg(Phantom, Type), Type)))), Cons(Arg(Covariant, Cons(Arg(Contravariant, Type), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))), Cons(Arg(Invariant, Cons(Arg(Contravariant, Type), Type)), Cons(Arg(Phantom, Type), Type)))))
[info]     )
[info]   Init Seed: 50418372357189281
johnynek commented 9 months ago

I think this is fixed by reducing some of the sizes of these tests in #1066

johnynek commented 7 months ago 
[info] - we enumerate from most to subkinds *** FAILED *** (18 minutes, 17 seconds)
[info]   StackOverflowError was thrown during property evaluation.
[info]     Message: "None"
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Contravariant, Cons(Arg(Covariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Phantom, Type), Type))), Cons(Arg(Phantom, Cons(Arg(Phantom, Cons(Arg(Covariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Contravariant, Type), Type))), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type))))), Cons(Arg(Contravariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Contravariant, Type), Type))))
[info]     )
[info]   Init Seed: -7763547726257873869

Still is happening...