extra testcase

noinia · Jan 2, 2024 · f46033e · f46033e
1 parent c3a18f2
commit f46033e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/hgeometry/data/test-with-ipe/LineSegment/Intersection/open_bug.ipe b/hgeometry/data/test-with-ipe/LineSegment/Intersection/open_bug.ipe
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
 <ipe version="70218" creator="Ipe 7.2.28">
-<info created="D:20211210235158" modified="D:20240101170929"/>
+<info created="D:20211210235158" modified="D:20240102124117"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">
 <path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">

diff --git a/hgeometry/kernel/test/HGeometry/LineSegmentSpec.hs b/hgeometry/kernel/test/HGeometry/LineSegmentSpec.hs
@@ -216,6 +216,16 @@ testI = describe "some manual intersection tests" $ do
           it "manual intersection 24" $ (test2 `intersects` test4 ) `shouldBe` True
           it "manual intersection 25" $ (test2 `intersects` test5 ) `shouldBe` False
 
+          it "contained open segments" $
+            let
+              segA, segB, answ :: OpenLineSegment (Point 2 R)
+              segA = OpenLineSegment (Point2 48 56) (Point2 14 0)
+              segB = OpenLineSegment (Point2 48 56) (Point2 31 28)
+              answ = OpenLineSegment (Point2 31 28) (Point2 48 56)
+            in segA `intersect` segB
+               `shouldBe`
+               Just (LineSegment_x_LineSegment_LineSegment answ)
+
           -- it "bug 12" $
           --   let
           --     l1 = supportingLine test1