Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T10715b.stderr
index 47c85bb..8c7f370 100644 (file)
@@ -2,7 +2,7 @@
 T10715b.hs:7:7: error:
     Occurs check: cannot construct the infinite type: b ~ [b]
       arising from a use of ‘coerce’
-    Relevant bindings include foo :: [b] -> b (bound at T10715b.hs:7:1)
     In the first argument of ‘asTypeOf’, namely ‘coerce’
     In the expression: coerce `asTypeOf` head
     In an equation for ‘foo’: foo = coerce `asTypeOf` head
+    Relevant bindings include foo :: [b] -> b (bound at T10715b.hs:7:1)