From 371bb0545d495f8e04952f4d5722a058e6b20f2a Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Tue, 13 Dec 2011 12:24:24 +0000 Subject: Wibble to error message for deriving( Functor ) --- .../deriving/should_fail/drvfail-functor2.stderr | 64 +++++++++++----------- 1 file changed, 32 insertions(+), 32 deletions(-) (limited to 'testsuite') diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr index 7ce404666f..030f6058f7 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr @@ -1,32 +1,32 @@ - -drvfail-functor2.hs:1:29: - Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. - -drvfail-functor2.hs:7:14: - Can't make a derived instance of `Functor InFunctionArgument': - Constructor `InFunctionArgument' must not use the type variable in a function argument - In the newtype declaration for `InFunctionArgument' - -drvfail-functor2.hs:10:14: - Can't make a derived instance of `Functor OnSecondArg': - Constructor `OnSecondArg' must not use the type variable in an argument other than the last - In the newtype declaration for `OnSecondArg' - -drvfail-functor2.hs:15:14: - Cannot derive well-kinded instance of form `Functor (NoArguments ...)' - Class `Functor' expects an argument of kind `* -> *' - In the newtype declaration for `NoArguments' - -drvfail-functor2.hs:20:14: - Can't make a derived instance of `Functor StupidConstraint': - Data type `StupidConstraint' must not have a class context (Eq a) - In the data type declaration for `StupidConstraint' - -drvfail-functor2.hs:26:14: - No instance for (Functor NoFunctor) - arising from the 'deriving' clause of a data type declaration - Possible fix: - add an instance declaration for (Functor NoFunctor) - or use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Functor UseNoFunctor) + +drvfail-functor2.hs:1:29: + Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. + +drvfail-functor2.hs:7:14: + Can't make a derived instance of `Functor InFunctionArgument': + Constructor `InFunctionArgument' must not use the type variable in a function argument + In the newtype declaration for `InFunctionArgument' + +drvfail-functor2.hs:10:14: + Can't make a derived instance of `Functor OnSecondArg': + Constructor `OnSecondArg' must use the type variable only as the last argument of a data type + In the newtype declaration for `OnSecondArg' + +drvfail-functor2.hs:15:14: + Cannot derive well-kinded instance of form `Functor (NoArguments ...)' + Class `Functor' expects an argument of kind `* -> *' + In the newtype declaration for `NoArguments' + +drvfail-functor2.hs:20:14: + Can't make a derived instance of `Functor StupidConstraint': + Data type `StupidConstraint' must not have a class context (Eq a) + In the data type declaration for `StupidConstraint' + +drvfail-functor2.hs:26:14: + No instance for (Functor NoFunctor) + arising from the 'deriving' clause of a data type declaration + Possible fix: + add an instance declaration for (Functor NoFunctor) + or use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + When deriving the instance for (Functor UseNoFunctor) -- cgit v1.2.1