diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-12-13 12:24:24 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-12-13 12:24:24 +0000 |
| commit | 371bb0545d495f8e04952f4d5722a058e6b20f2a (patch) | |
| tree | 6a248db9456f6dbd3b202f166fe07d61b55b9aaf | |
| parent | 7083082c6ab92e8dd4bca62e05ce8f7e7a526afd (diff) | |
| download | haskell-371bb0545d495f8e04952f4d5722a058e6b20f2a.tar.gz | |
Wibble to error message for deriving( Functor )
| -rw-r--r-- | testsuite/tests/deriving/should_fail/drvfail-functor2.stderr | 64 |
1 files changed, 32 insertions, 32 deletions
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)
|