32064a9c7896417f8b79e07e9c25a90762161e61
[ghc.git] / testsuite / tests / th / T11452.stderr
1
2 T11452.hs:6:14: error:
3     • Illegal polytype: (forall a. a -> a) -> ()
4       The type of a Typed Template Haskell expression must not have any quantification.
5     • In the Template Haskell splice $$([|| \ _ -> () ||])
6       In the expression: $$([|| \ _ -> () ||])
7       In an equation for ‘impred’: impred = $$([|| \ _ -> () ||])
8
9 T11452.hs:6:14: error:
10     • Cannot instantiate unification variable ‘p0’
11       with a type involving foralls: forall a. a -> a
12         GHC doesn't yet support impredicative polymorphism
13     • In the Template Haskell quotation [|| \ _ -> () ||]
14       In the expression: [|| \ _ -> () ||]
15       In the Template Haskell splice $$([|| \ _ -> () ||])