Refactor treatment of wildcards
[ghc.git] / testsuite / tests / typecheck / should_run / T7861.stderr
1 T7861: T7861.hs:10:5: error:
2     Couldn't match type ‘a’ with ‘[a]’
3     ‘a’ is a rigid type variable bound by
4       the type signature for:
5         f :: forall a. (forall b. a) -> a
6       at T7861.hs:9:6
7     Expected type: (forall b. a) -> a
8       Actual type: (forall b. a) -> [a]
9     In the expression: doA
10     In an equation for ‘f’: f = doA
11     Relevant bindings include
12       f :: (forall b. a) -> a (bound at T7861.hs:10:1)
13 (deferred type error)