diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/drvfail009.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/drvfail009.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/deriving/should_fail/drvfail009.stderr b/testsuite/tests/deriving/should_fail/drvfail009.stderr index b9dd90c758..563bc5aa8a 100644 --- a/testsuite/tests/deriving/should_fail/drvfail009.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail009.stderr @@ -1,23 +1,23 @@ -drvfail009.hs:10:31: +drvfail009.hs:10:31: error: Expecting one more argument to ‘C’ Expected kind ‘* -> Constraint’, but ‘C’ has kind ‘* -> * -> Constraint’ In the newtype declaration for ‘T1’ -drvfail009.hs:13:31: +drvfail009.hs:13:31: error: Cannot derive well-kinded instance of form ‘Monad (T2 ...)’ Class ‘Monad’ expects an argument of kind ‘* -> *’ In the newtype declaration for ‘T2’ -drvfail009.hs:16:33: +drvfail009.hs:16:33: error: Can't make a derived instance of ‘Monad T3’ - (even with cunning newtype deriving): + (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough In the newtype declaration for ‘T3’ -drvfail009.hs:19:42: +drvfail009.hs:19:42: error: Can't make a derived instance of ‘Monad T4’ - (even with cunning newtype deriving): + (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough In the newtype declaration for ‘T4’ |