search

msakai / data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell
Other
21 stars 9 forks source link

TestIntervalRelation failure #22

Closed Bodigrim closed 4 years ago

Bodigrim commented 4 years ago 
$ stack test --ta '--hide-successes --quickcheck-tests 100000 -p TestIntervalRelation'

  TestIntervalRelation
    invert inverts relation: FAIL (0.08s)
      *** Failed! Falsified (after 20701 tests):
      Finite (0 % 1) <=..<= Finite (0 % 1)
      Finite (0 % 1) <..< PosInf
      JustBefore /= JustAfter
      Use --quickcheck-replay=413814 to reproduce.

@marcosh could you possibly take a look?

Bodigrim commented 4 years ago

My guess is that 

-                           , lowerBound i1 <= lowerBound i2
+                           , lowerBound' i1 <= lowerBound' i2

could help.

marcosh commented 4 years ago

sure, I'll take a look at this