Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
index c68f957..4cb2af7 100644 (file)
@@ -1,12 +1,7 @@
 
-tcfail157.hs:27:10:
-    Variable occurs more often in a constraint 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:
-    Variable occurs more often in a constraint 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 ‘E m a b’
+        than in the instance head ‘Foo m (a -> ())’
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Foo m (a -> ())’