Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail209a.stderr
index a21103b..1ccd64f 100644 (file)
@@ -1,6 +1,6 @@
-\r
-tcfail209a.hs:3:6:\r
-    Illegal tuple constraint (Show a, Num a)\r
-    (Use -XConstraintKinds to permit this)\r
-    In the type signature for `g':\r
-      g :: ((Show a, Num a), Eq a) => a -> a\r
+
+tcfail209a.hs:3:6: error:
+    • Illegal tuple constraint: (Show a, Num a)
+        (Use ConstraintKinds to permit this)
+    • In the type signature:
+        g :: ((Show a, Num a), Eq a) => a -> a