hadrian: Add support for bindist compressors other than Xz
[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
7         at T12427a.hs:17:1-29
8     • In the expression: v
9       In a case alternative: T1 _ v -> v
10       In the expression: case y of { T1 _ v -> v }
11     • Relevant bindings include
12         h11 :: T -> p (bound at T12427a.hs:17:1)
13
14 T12427a.hs:28:6: error:
15     • Cannot instantiate unification variable ‘p0’
16       with a type involving polytypes: (forall b. [b] -> [b]) -> Int
17         GHC doesn't yet support impredicative polymorphism
18     • In the pattern: T1 _ x1
19       In a pattern binding: T1 _ x1 = undefined