Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T10534.stderr
index 5f44426..ecdb6d2 100644 (file)
@@ -1,22 +1,19 @@
 
-T10534a.hs:9:10: error:
-    Could not deduce: a ~ b
-    from the context: Coercible (DF a) (DF b)
-      bound by the type signature for:
-               silly :: Coercible (DF a) (DF b) => a -> b
-      at T10534a.hs:9:10-42
+T10534a.hs:10:9: error:
+    • Could not deduce: Coercible a b arising from a use of ‘coerce’
+      from the context: Coercible (DF a) (DF b)
+        bound by the type signature for:
+                   silly :: Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:1-42
       ‘a’ is a rigid type variable bound by
-          the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
-          at T10534a.hs:9:10
+        the type signature for:
+          silly :: forall a b. Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:10
       ‘b’ is a rigid type variable bound by
-          the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
-          at T10534a.hs:9:10
-    arising from trying to show that the representations of
-      ‘DF a’ and
-      ‘DF b’ are the same
-    Relevant role signatures: type role DF nominal
-    In the ambiguity check for the type signature for ‘silly’:
-      silly :: forall a b. Coercible (DF a) (DF b) => a -> b
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘silly’:
-      silly :: Coercible (DF a) (DF b) => a -> b
+        the type signature for:
+          silly :: forall a b. Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:10
+    • In the expression: coerce
+      In an equation for ‘silly’: silly = coerce
+    • Relevant bindings include
+        silly :: a -> b (bound at T10534a.hs:10:1)