diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail127.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail127.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail127.stderr b/testsuite/tests/typecheck/should_fail/tcfail127.stderr index 32af3d8382..feda55fc82 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail127.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail127.stderr @@ -1,5 +1,5 @@ - -tcfail127.hs:3:8: error: - Illegal polymorphic or qualified type: Num a => a -> a - GHC doesn't yet support impredicative polymorphism - In the type signature for ‘foo’: foo :: IO (Num a => a -> a) +
+tcfail127.hs:3:8: error:
+ Illegal polymorphic or qualified type: Num a => a -> a
+ GHC doesn't yet support impredicative polymorphism
+ In the type signature: foo :: IO (Num a => a -> a)
|