search

johnynek / bosatsu

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

> ``` #1113

Closed Samet1994 closed 6 months ago

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

Originally posted by @Samet1994 in https://github.com/johnynek/bosatsu/issues/1104#issuecomment-1906680311

Samet1994 commented 6 months ago

6104337747981841

johnynek commented 6 months ago

this seems to be some kind of error comment. Please re-open if you have more of an issue.