search

johnynek / bosatsu

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

fix seq intersection flake #1104

Closed johnynek closed 6 months ago

johnynek commented 6 months ago 
[info] - x n y == y n x *** FAILED *** (10 milliseconds)
[info]   TestFailedException was thrown during property evaluation.
[info]     Message: List(Cat(AnyElem, Cat(Wildcard, Cat(Lit(Set(true, false)), Empty)))) did not equal List(Cat(AnyElem, Cat(Wildcard, Cat(AnyElem, Empty)))) List(.*Set(true, false)) != List(.*.)
[info]     Location: (SeqPatternTest.scala:373)
[info]     Occurred when passed generated values (
[info]       arg0 = Cat(Wildcard, Cat(Wildcard, Cat(AnyElem, Cat(Lit(Set(true, false)), Empty)))),
[info]       arg1 = Cat(AnyElem, Cat(Wildcard, Cat(AnyElem, Empty)))
[info]     )
[info]   Init Seed: 963554269334762220
Samet1994 commented 6 months ago 

[info] - x n y == y n x *** FAILED *** (10 milliseconds)
[info]   TestFailedException was thrown during property evaluation.
[info]     Message: List(Cat(AnyElem, Cat(Wildcard, Cat(Lit(Set(true, false)), Empty)))) did not equal List(Cat(AnyElem, Cat(Wildcard, Cat(AnyElem, Empty)))) List(.*Set(true, false)) != List(.*.)
[info]     Location: (SeqPatternTest.scala:373)
[info]     Occurred when passed generated values (
[info]       arg0 = Cat(Wildcard, Cat(Wildcard, Cat(AnyElem, Cat(Lit(Set(true, false)), Empty)))),
[info]       arg1 = Cat(AnyElem, Cat(Wildcard, Cat(AnyElem, Empty)))
[info]     )
[info]   Init Seed: 963554269334762220
```6104337747981841