search

johnynek / bosatsu

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

seqpatterntest flake #1091

Closed johnynek closed 7 months ago

johnynek commented 7 months ago 
[info] - x n y == y n x *** FAILED *** (71 milliseconds)
[info]   TestFailedException was thrown during property evaluation.
[info]     Message: List(Cat(Wildcard, Cat(Wildcard, Empty))) did not equal List(Cat(Wildcard, Empty)) List(**) != List(*)
[info]     Location: (SeqPatternTest.scala:365)
[info]     Occurred when passed generated values (
[info]       arg0 = Cat(Wildcard, Cat(Wildcard, Empty)),
[info]       arg1 = Cat(Wildcard, Empty)
[info]     )