Testsuite wibble around decomposing newtypes.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 9 Jun 2015 20:52:40 +0000 (16:52 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 16 Jun 2015 18:22:52 +0000 (14:22 -0400)
This is actually an improvement. Yay!

testsuite/tests/typecheck/should_fail/T10285.stderr
testsuite/tests/typecheck/should_fail/T10534.stderr

index b56f124..1ed2046 100644 (file)
@@ -1,6 +1,9 @@
 
 T10285.hs:8:17: error:
-    Could not deduce: a ~ b
+    Could not deduce: Coercible a b
+      arising from trying to show that the representations of
+        ‘a’ and
+        ‘b’ are the same
     from the context: Coercible (N a) (N b)
       bound by a pattern with constructor:
                  Coercion :: forall (k :: BOX) (a :: k) (b :: k).
index 5f44426..ab2cde1 100644 (file)
@@ -1,6 +1,9 @@
 
-T10534a.hs:9:10: error:
-    Could not deduce: a ~ b
+T10534a.hs:10:9: error:
+    Could not deduce: Coercible a b
+      arising from trying to show that the representations of
+        ‘a’ and
+        ‘b’ are the same
     from the context: Coercible (DF a) (DF b)
       bound by the type signature for:
                silly :: Coercible (DF a) (DF b) => a -> b
@@ -11,12 +14,7 @@ T10534a.hs:9:10: error:
       ‘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
+    Relevant bindings include
+      silly :: a -> b (bound at T10534a.hs:10:1)
+    In the expression: coerce
+    In an equation for ‘silly’: silly = coerce