diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7809.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7809.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7809.stderr b/testsuite/tests/typecheck/should_fail/T7809.stderr index 3a85051621..8e5eea9a52 100644 --- a/testsuite/tests/typecheck/should_fail/T7809.stderr +++ b/testsuite/tests/typecheck/should_fail/T7809.stderr @@ -1,6 +1,6 @@ -
-T7809.hs:8:8: error:
- • Illegal polymorphic type: PolyId
- GHC doesn't yet support impredicative polymorphism
- • In the type signature:
- foo :: F PolyId
+ +T7809.hs:8:8: error: + • Illegal polymorphic type: PolyId + GHC doesn't yet support impredicative polymorphism + • In the type signature: + foo :: F PolyId |