Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
index 304b765..edc0506 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail157.hs:27:10:\r
-    Variable `b' occurs more often than in the instance head\r
-      in the constraint: E m a b\r
-    (Use -XUndecidableInstances to permit this)\r
-    In the instance declaration for `Foo m (a -> ())'\r
-\r
-tcfail157.hs:27:10:\r
-    Variable `b' occurs more often than in the instance head\r
-      in the constraint: Foo m b\r
-    (Use -XUndecidableInstances to permit this)\r
-    In the instance declaration for `Foo m (a -> ())'\r
+
+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: 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 -> ())’