Reject nested predicates in impredicativity checking
[ghc.git] / testsuite / tests / typecheck / should_fail / T12563.stderr
1
2 T12563.hs:7:15: error:
3     • Cannot instantiate unification variable ‘p0’
4       with a type involving polytypes: (forall a. f0 a) -> f0 r0
5         GHC doesn't yet support impredicative polymorphism
6     • In the first argument of ‘foo’, namely ‘g’
7       In the expression: foo g
8       In the expression: \ g -> foo g
9     • Relevant bindings include
10         g :: p0 (bound at T12563.hs:7:6)
11         x :: p0 -> f0 r0 (bound at T12563.hs:7:1)