Introduce GHC.TypeNats module, change KnownNat evidence to be Natural

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail157.stderr b/testsuite/tests/typecheck/should_fail/tcfail157.stderr
index cfca878..edc0506 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail157.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail157.stderr
@@ -1,12 +1,12 @@
 
-tcfail157.hs:27:10:
-    Variable ‛b’ occurs more often than in the instance head
-      in the constraint: E m a b
-    (Use -XUndecidableInstances to permit this)
-    In the instance declaration for ‛Foo m (a -> ())’
+tcfail157.hs:27:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘E m a b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Foo m (a -> ())’
 
-tcfail157.hs:27:10:
-    Variable ‛b’ occurs more often than in the instance head
-      in the constraint: Foo m b
-    (Use -XUndecidableInstances to permit this)
-    In the instance declaration for ‛Foo m (a -> ())’
+tcfail157.hs:27:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘Foo m b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Foo m (a -> ())’