From 70817d4797bd6b7772de183d6bb0cb5761857457 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Tue, 30 Jul 2024 16:59:12 +0200
Subject: [PATCH] Add dummy unit test for set matching

---
 .../unit-tests/Test/Booster/Pattern/MatchRewrite.hs  | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs b/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs
index 4b15123eb9..d56fe5294a 100644
--- a/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs
+++ b/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs
@@ -32,6 +32,7 @@ test_match_rewrite =
         , sorts
         , injections
         , internalLists
+        , internalSets
         , internalMaps
         ]
 
@@ -376,6 +377,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