diff options
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T13202a.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T14969.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/T15806.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T13202a.stderr b/testsuite/tests/ghci/scripts/T13202a.stderr index 0402e7df7d..a2a6704432 100644 --- a/testsuite/tests/ghci/scripts/T13202a.stderr +++ b/testsuite/tests/ghci/scripts/T13202a.stderr @@ -1,6 +1,6 @@ <interactive>:4:5: error: • Non type-variable argument in the constraint: HasField "name" r a - (Use FlexibleContexts to permit this) • When checking the inferred type foo :: forall {r} {a}. HasField "name" r a => r -> a + Suggested fix: Perhaps you intended to use FlexibleContexts diff --git a/testsuite/tests/ghci/scripts/T14969.stderr b/testsuite/tests/ghci/scripts/T14969.stderr index ee9b5d2de8..b44c578b20 100644 --- a/testsuite/tests/ghci/scripts/T14969.stderr +++ b/testsuite/tests/ghci/scripts/T14969.stderr @@ -2,6 +2,6 @@ <interactive>:2:1: error: • Non type-variable argument in the constraint: Num (t2 -> t1 -> t3) - (Use FlexibleContexts to permit this) • When checking the inferred type it :: forall {t1} {t2} {t3}. (Num t1, Num (t2 -> t1 -> t3)) => t3 + Suggested fix: Perhaps you intended to use FlexibleContexts diff --git a/testsuite/tests/ghci/should_run/T15806.stderr b/testsuite/tests/ghci/should_run/T15806.stderr index c25e90fe3a..2c9bc177fd 100644 --- a/testsuite/tests/ghci/should_run/T15806.stderr +++ b/testsuite/tests/ghci/should_run/T15806.stderr @@ -1,4 +1,4 @@ <interactive>:1:1: error: Illegal polymorphic type: forall a. a -> a - Perhaps you intended to use ImpredicativeTypes + Suggested fix: Perhaps you intended to use ImpredicativeTypes |