diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/drvfail-functor2.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/drvfail-functor2.stderr | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr new file mode 100644 index 0000000000..7ce404666f --- /dev/null +++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr @@ -0,0 +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) |