run the tests

Author: MaximilianAlgehed

src/Constrained/Base.hs

@@ -99,7 +99,6 @@ import Constrained.FunctionSymbol
 import Constrained.GenT
 import Constrained.Generic
 import Constrained.List hiding (toList)
-import Constrained.PrettyUtils
 import Constrained.TypeErrors
 import Control.Monad.Writer (
   Writer,

test/Constrained/Tests.hs

@@ -236,6 +236,8 @@ negativeTests =
     testSpecFail "overconstrainedPrefixes" overconstrainedPrefixes
     testSpecFail "overconstrainedSuffixes" overconstrainedSuffixes
     testSpecFail "appendForAllBad" appendForAllBad
+    testSpecFail "manyInconsistent" manyInconsistent
+    testSpecFail "manyInconsistentTrans" manyInconsistentTrans
 
 testSpecFail :: HasSpec a => String -> Specification a -> Spec
 testSpecFail s spec =