From 6821c4efda51de5e26ed9301f1dc2a6b435a8654 Mon Sep 17 00:00:00 2001
From: VegOwOtenks <vegowotenks@jossco.de>
Date: Thu, 14 Aug 2025 09:22:14 +0200
Subject: [PATCH] feat[test]: run the tests

---
 test/Spec.hs                   | 8 +++++++-
 test/Test/Data/Map/Implicit.hs | 2 ++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/test/Spec.hs b/test/Spec.hs
index cd4753f..83183ad 100644
--- a/test/Spec.hs
+++ b/test/Spec.hs
@@ -1,2 +1,8 @@
+import System.IO (IO)
+import Test.Data.Map.Implicit qualified
+import Control.Applicative (pure)
+
 main :: IO ()
-main = putStrLn "Test suite not yet implemented"
+main = do
+  _ <- Test.Data.Map.Implicit.runTests
+  pure ()
diff --git a/test/Test/Data/Map/Implicit.hs b/test/Test/Data/Map/Implicit.hs
index d474fec..27087b8 100644
--- a/test/Test/Data/Map/Implicit.hs
+++ b/test/Test/Data/Map/Implicit.hs
@@ -13,6 +13,8 @@ import System.IO (IO)
 import Control.Applicative (pure)
 import Data.Maybe (Maybe)
 
+-- | This is testworthy since I have somehow hand-hacked the read/show de/serialization of 'ImplicitMap'
+
 prop_readShowIdentityRoundtrip :: ImplicitMap (Definition Identity) -> Bool
 prop_readShowIdentityRoundtrip = roundtrips read show