Commit f1080035 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Testsuite wibble around decomposing newtypes.

This is actually an improvement. Yay!
parent 93f97be7
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).
......
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
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment