Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail209a.stderr
index 446d76f..1ccd64f 100644 (file)
@@ -1,6 +1,6 @@
 
-tcfail209a.hs:3:6:
-    Illegal tuple constraint: (Show a, Num a)
-      (Use ConstraintKinds to permit this)
-    In the type signature for ā€˜gā€™:
-      g :: ((Show a, Num a), Eq a) => a -> a
+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