Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T9318.stderr
index 218ae97..c637788 100644 (file)
@@ -1,7 +1,7 @@
 
-T9318.hs:12:5:
-    Couldn't match type ‘Char’ with ‘Bool
-    Expected type: F Int
-      Actual type: Char
-    In the pattern: 'x'
-    In an equation for ‘bar’: bar 'x' = ()
+T9318.hs:12:5: error:
+    • Couldn't match type ‘Bool’ with ‘Char
+      Expected type: F Int
+        Actual type: Char
+    • In the pattern: 'x'
+      In an equation for ‘bar’: bar 'x' = ()