Add empty set unit tests to all matching kinds

Author: geo2a

booster/unit-tests/Test/Booster/Pattern/MatchEval.hs

@@ -17,6 +17,7 @@ import Booster.Pattern.Base
 import Booster.Pattern.Match
 import Booster.Syntax.Json.Internalise (trm)
 import Test.Booster.Fixture
+import Test.Booster.Pattern.InternalCollections
 
 test_match_eval :: TestTree
 test_match_eval =
@@ -28,6 +29,7 @@ test_match_eval =
         , andTerms
         , composite
         , kmapTerms
+        , internalSets
         ]
 
 symbols :: TestTree
@@ -293,6 +295,19 @@ cornerCases =
     let v = var "X" someSort
      in errors "identical variables" v v
 
+internalSets :: TestTree
+internalSets =
+    testGroup
+        "Internal sets"
+        [ test
+            "Can match an empty set with itself"
+            emptySet
+            emptySet
+            (success [])
+        ]
+
+----------------------------------------
+
 test :: String -> Term -> Term -> MatchResult -> TestTree
 test name pat subj expected =
     testCase name $ matchTerms Eval testDefinition pat subj @?= expected

booster/unit-tests/Test/Booster/Pattern/MatchImplies.hs

@@ -32,6 +32,7 @@ test_match_implies =
         , sorts
         , injections
         , internalLists
+        , internalSets
         , internalMaps
         ]
 
@@ -377,6 +378,17 @@ internalLists =
 
     klist = KList testKListDef
 
+internalSets :: TestTree
+internalSets =
+    testGroup
+        "Internal sets"
+        [ test
+            "Can match an empty set with itself"
+            emptySet
+            emptySet
+            (success [])
+        ]
+
 internalMaps :: TestTree
 internalMaps =
     testGroup