Fixup

wireapp · Feb 1, 2024 · 7ea3a8c · 7ea3a8c
1 parent 3cc3a60
commit 7ea3a8c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/integration/test/Testlib/PTest.hs b/integration/test/Testlib/PTest.hs
@@ -62,7 +62,7 @@ instance HasTests x => HasTests ((Bool, Bool, Bool, Bool) -> x) where
       ]
 
 -- | this is to resolve overlapping instances issues.
-newtype WithBoundedEnumArg arg = WithBoundedEnumArg (arg -> x)
+newtype WithBoundedEnumArg arg x = WithBoundedEnumArg (arg -> x)
 
 instance (HasTests x, Enum arg, Bounded arg, Show arg) => HasTests (WithBoundedEnumArg arg x) where
   mkTests m n s f (WithBoundedEnumArg x) =
@@ -75,7 +75,7 @@ instance (HasTests x, Enum arg, Bounded arg, Show arg) => HasTests (WithBoundedE
 newtype TaggedBool (tag :: Symbol) = TaggedBool {untag :: Bool}
   deriving newtype (Eq, Ord, Bounded, Enum)
 
-instance Show (TaggedBool tag) where
+instance KnownSymbol tag => Show (TaggedBool tag) where
   show (TaggedBool b) = show (symbolVal (Proxy @tag)) <> "=" <> show b
 
 instance (KnownSymbol tag, HasTests x) => HasTests (TaggedBool tag -> x) where