05e926067fd7b908d5ee9d85036191af01762fea
[ghc.git] / testsuite / tests / typecheck / should_compile / T12427a.stderr
1
2 T12427a.hs:17:29: error:
3     • Couldn't match expected type ‘p’
4                   with actual type ‘(forall b. [b] -> [b]) -> Int’
5       ‘p’ is a rigid type variable bound by
6         the inferred type of h11 :: T -> p at T12427a.hs:17:1-29
7     • In the expression: v
8       In a case alternative: T1 _ v -> v
9       In the expression: case y of { T1 _ v -> v }
10     • Relevant bindings include
11         h11 :: T -> p (bound at T12427a.hs:17:1)
12
13 T12427a.hs:28:6: error:
14     • Cannot instantiate unification variable ‘p0’
15       with a type involving foralls: (forall b. [b] -> [b]) -> Int
16         GHC doesn't yet support impredicative polymorphism
17     • In the pattern: T1 _ x1
18       In a pattern binding: T1 _ x1 = undefined