Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
index 523d118..edc0506 100644 (file)
@@ -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 UndecidableInstances 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 UndecidableInstances 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 -> ())’