search

noinia / hgeometry

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.
121 stars 40 forks source link

Quickcheck failures on GHC 9.4 #223

Open Profpatsch opened 1 year ago

Profpatsch commented 1 year ago 
Failures:

  test/src/Geometry/SoSSpec.hs:41:36:
  1) Geometry.SoS, symoblic/convex hull test, convex hull same with symoblic
       Falsifiable (after 6 tests and 4 shrinks):
         (Point2 5 4 :+ ()) :| [Point2 5 (-4.66667) :+ ()]
       expected: (Point2 5 4 :+ ()) :| [Point2 5 (-4.66667) :+ ()]
        but got: (Point2 5 (-4.66667) :+ ()) :| [Point2 5 4 :+ ()]

  To rerun use: --match "/Geometry.SoS/symoblic/convex hull test/convex hull same with symoblic/"

  test/src/Geometry/SubLineSpec.hs:27:31:
  2) Geometry.SubLine.subLineTests subline specialization in R^2
       Falsifiable (after 2 tests):
         1
         Line (Point2 (-1) (-1)) (Vector2 0 2)
         Interval (Closed (0 :+ ())) (Closed (0 :+ ()))
       expected: True
        but got: False

  To rerun use: --match "/Geometry.SubLine/subLineTests/subline specialization in R^2/"

Randomized with seed 1538958832