diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12563.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T12563.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12563.stderr b/testsuite/tests/typecheck/should_fail/T12563.stderr index f32e99d1f0..e6619aa1da 100644 --- a/testsuite/tests/typecheck/should_fail/T12563.stderr +++ b/testsuite/tests/typecheck/should_fail/T12563.stderr @@ -1,7 +1,7 @@ T12563.hs:7:15: error: • Cannot instantiate unification variable ‘p0’ - with a type involving foralls: (forall a. f0 a) -> f0 r0 + with a type involving polytypes: (forall a. f0 a) -> f0 r0 GHC doesn't yet support impredicative polymorphism • In the first argument of ‘foo’, namely ‘g’ In the expression: foo g |