Commit b40cb710 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Track error message changes for deriving

parent 8282528a
T2394.hs:9:1:
Can't make a derived instance of `Data (a -> b)'
(The last argument of the instance must be a data or newtype application)
In the stand-alone deriving instance for
`(Data a, Data b) => Data (a -> b)'
T2394.hs:9:1:
Can't make a derived instance of `Data (a -> b)':
The last argument of the instance must be a data or newtype application
In the stand-alone deriving instance for
`(Data a, Data b) => Data (a -> b)'
T2604.hs:7:35:
Can't make a derived instance of `Typeable (DList a)'
(You need -XDeriveDataTypeable to derive an instance for this class)
In the data type declaration for `DList'
T2604.hs:9:38:
Can't make a derived instance of `Typeable (NList a)'
(You need -XDeriveDataTypeable to derive an instance for this class)
In the newtype declaration for `NList'
T2604.hs:7:35:
Can't make a derived instance of `Typeable (DList a)':
You need -XDeriveDataTypeable to derive an instance for this class
In the data type declaration for `DList'
T2604.hs:9:38:
Can't make a derived instance of `Typeable (NList a)'
(even with cunning newtype deriving):
You need -XDeriveDataTypeable to derive an instance for this class
In the newtype declaration for `NList'
T2701.hs:10:32:
Can't make a derived instance of `Data Foo'
(Constructor `MkFoo' has arguments of unlifted type)
In the data type declaration for `Foo'
T2701.hs:10:32:
Can't make a derived instance of `Data Foo':
Constructor `MkFoo' has arguments of unlifted type
In the data type declaration for `Foo'
T2721.hs:15:28:
Can't make a derived instance of `C N'
(even with cunning newtype deriving:
the class has associated types)
In the newtype declaration for `N'
T2721.hs:15:28:
Can't make a derived instance of `C N'
(even with cunning newtype deriving):
the class has associated types
In the newtype declaration for `N'
T3101.hs:9:12:
Can't make a derived instance of `Show Boom'
(Constructor `Boom' does not have a Haskell-98 type)
In the data type declaration for `Boom'
T3101.hs:9:12:
Can't make a derived instance of `Show Boom':
Constructor `Boom' does not have a Haskell-98 type
Possible fix: use a standalone deriving declaration instead
In the data type declaration for `Boom'
drvfail-foldable-traversable1.hs:9:23:
No instance for (Functor Trivial1)
arising from the 'deriving' clause of a data type declaration
at drvfail-foldable-traversable1.hs:9:23-33
Possible fix:
add an instance declaration for (Functor Trivial1)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Traversable Trivial1)
drvfail-foldable-traversable1.hs:13:22:
No instance for (Foldable Trivial2)
arising from the 'deriving' clause of a data type declaration
at drvfail-foldable-traversable1.hs:13:22-32
Possible fix:
add an instance declaration for (Foldable Trivial2)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Traversable Trivial2)
drvfail-foldable-traversable1.hs:17:22:
Can't make a derived instance of `Foldable Infinite'
(Constructor `Infinite' contains function types)
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:17:31:
Can't make a derived instance of `Traversable Infinite'
(Constructor `Infinite' contains function types)
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:21:22:
Can't make a derived instance of `Foldable (Cont r)'
(Constructor `Cont' contains function types)
In the data type declaration for `Cont'
drvfail-foldable-traversable1.hs:21:31:
Can't make a derived instance of `Traversable (Cont r)'
(Constructor `Cont' contains function types)
In the data type declaration for `Cont'
drvfail-foldable-traversable1.hs:9:23:
No instance for (Functor Trivial1)
arising from the 'deriving' clause of a data type declaration
at drvfail-foldable-traversable1.hs:9:23-33
Possible fix:
add an instance declaration for (Functor Trivial1)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Traversable Trivial1)
drvfail-foldable-traversable1.hs:13:22:
No instance for (Foldable Trivial2)
arising from the 'deriving' clause of a data type declaration
at drvfail-foldable-traversable1.hs:13:22-32
Possible fix:
add an instance declaration for (Foldable Trivial2)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Traversable Trivial2)
drvfail-foldable-traversable1.hs:17:22:
Can't make a derived instance of `Foldable Infinite':
Constructor `Infinite' contains function types
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:17:31:
Can't make a derived instance of `Traversable Infinite':
Constructor `Infinite' contains function types
In the data type declaration for `Infinite'
drvfail-foldable-traversable1.hs:21:22:
Can't make a derived instance of `Foldable (Cont r)':
Constructor `Cont' contains function types
In the data type declaration for `Cont'
drvfail-foldable-traversable1.hs:21:31:
Can't make a derived instance of `Traversable (Cont r)':
Constructor `Cont' contains function types
In the data type declaration for `Cont'
drvfail-functor1.hs:6:14:
Can't make a derived instance of `Functor List'
(You need -XDeriveFunctor to derive an instance for this class)
In the data type declaration for `List'
drvfail-functor1.hs:6:14:
Can't make a derived instance of `Functor List':
You need -XDeriveFunctor to derive an instance for this class
In the data type declaration for `List'
drvfail-functor2.hs:7:14:
Can't make a derived instance of `Functor InFunctionArgument'
(Constructor `InFunctionArgument' uses 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' uses 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 derive instances where the instance context mentions
type variables that are not data type parameters
Offending constraint: Eq a
When deriving the instance for (Functor StupidConstraint)
drvfail-functor2.hs:26:14:
No instance for (Functor NoFunctor)
arising from the 'deriving' clause of a data type declaration
at drvfail-functor2.hs:26:14-20
Possible fix:
add an instance declaration for (Functor NoFunctor)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Functor UseNoFunctor)
drvfail-functor2.hs:7:14:
Can't make a derived instance of `Functor InFunctionArgument':
Constructor `InFunctionArgument' uses 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' uses 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 derive instances where the instance context mentions
type variables that are not data type parameters
Offending constraint: Eq a
When deriving the instance for (Functor StupidConstraint)
drvfail-functor2.hs:26:14:
No instance for (Functor NoFunctor)
arising from the 'deriving' clause of a data type declaration
at drvfail-functor2.hs:26:14-20
Possible fix:
add an instance declaration for (Functor NoFunctor)
or use a standalone 'deriving instance' declaration instead,
so you can specify the instance context yourself
When deriving the instance for (Functor UseNoFunctor)
drvfail005.hs:4:13:
Can't make a derived instance of `Show a (Test a)'
(`Show a' is not a class)
In the data type declaration for `Test'
drvfail005.hs:4:13:
Can't make a derived instance of `Show a (Test a)':
`Show a' is not a class
In the data type declaration for `Test'
drvfail006.hs:9:45:
Can't make a derived instance of `MonadState T'
(even with cunning newtype deriving:
`MonadState' does not have arity 1)
In the newtype declaration for `T'
drvfail006.hs:9:45:
Can't make a derived instance of `MonadState T'
(even with cunning newtype deriving):
`MonadState' does not have arity 1
In the newtype declaration for `T'
drvfail008.hs:10:43:
Can't make a derived instance of `Monad M'
(`Monad' is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension)
In the newtype declaration for `M'
drvfail008.hs:10:43:
Can't make a derived instance of `Monad M':
`Monad' is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for `M'
drvfail009.hs:10:31:
Can't make a derived instance of `C T1'
(even with cunning newtype deriving:
`C' does not have arity 1)
In the newtype declaration for `T1'
drvfail009.hs:13:31:
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:
Can't make a derived instance of `Monad T3'
(even with cunning newtype deriving:
cannot eta-reduce the representation type enough)
In the newtype declaration for `T3'
drvfail009.hs:19:42:
Can't make a derived instance of `Monad T4'
(even with cunning newtype deriving:
cannot eta-reduce the representation type enough)
In the newtype declaration for `T4'
drvfail009.hs:10:31:
Can't make a derived instance of `C T1'
(even with cunning newtype deriving):
`C' does not have arity 1
In the newtype declaration for `T1'
drvfail009.hs:13:31:
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:
Can't make a derived instance of `Monad T3'
(even with cunning newtype deriving):
cannot eta-reduce the representation type enough
In the newtype declaration for `T3'
drvfail009.hs:19:42:
Can't make a derived instance of `Monad T4'
(even with cunning newtype deriving):
cannot eta-reduce the representation type enough
In the newtype declaration for `T4'
drvfail010.hs:6:42:
Can't make a derived instance of `Typeable (A a b c d e f g h i j)'
(`A' has too many arguments)
In the data type declaration for `A'
drvfail010.hs:9:32:
Can't make a derived instance of `Typeable (B a b)'
(`B' has arguments of kind other than `*')
In the data type declaration for `B'
drvfail010.hs:6:42:
Can't make a derived instance of
`Typeable (A a b c d e f g h i j)':
`A' has too many arguments
In the data type declaration for `A'
drvfail010.hs:9:32:
Can't make a derived instance of `Typeable (B a b)':
`B' has arguments of kind other than `*'
In the data type declaration for `B'
mod53.hs:4:22:
Can't make a derived instance of `C T'
(`C' is not a derivable class)
In the data type declaration for `T'
mod53.hs:4:22:
Can't make a derived instance of `C T':
`C' is not a derivable class
In the data type declaration for `T'
mod55.hs:3:26:
Can't make a derived instance of `Enum T'
(`T' has non-nullary constructors)
In the data type declaration for `T'
mod55.hs:3:26:
Can't make a derived instance of `Enum T':
`T' has non-nullary constructors
In the data type declaration for `T'
mod56.hs:4:39:
Can't make a derived instance of `Ix T'
(`T' has non-nullary constructors
and
`T' has more than one constructor)
In the data type declaration for `T'
mod56.hs:4:39:
Can't make a derived instance of `Ix T':
`T' has non-nullary constructors
and
`T' has more than one constructor
In the data type declaration for `T'
read039.hs:8:14:
Can't make a derived instance of `C Foo'
(`C' is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension)
In the newtype declaration for `Foo'
read039.hs:8:14:
Can't make a derived instance of `C Foo':
`C' is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for `Foo'
tcfail086.hs:6:38:
Can't make a derived instance of `Eq Ex'
(Constructor `Ex' does not have a Haskell-98 type)
In the data type declaration for `Ex'
tcfail086.hs:6:38:
Can't make a derived instance of `Eq Ex':
Constructor `Ex' does not have a Haskell-98 type
Possible fix: use a standalone deriving declaration instead
In the data type declaration for `Ex'
tcfail117.hs:5:32:
Can't make a derived instance of `Enum N1'
(`N1' has non-nullary constructors)
In the newtype declaration for `N1'
tcfail117.hs:6:32:
Can't make a derived instance of `Enum N2'
(`N2' has non-nullary constructors)
In the data type declaration for `N2'
tcfail117.hs:5:32:
Can't make a derived instance of `Enum N1':
`N1' has non-nullary constructors
In the newtype declaration for `N1'
tcfail117.hs:6:32:
Can't make a derived instance of `Enum N2':
`N2' has non-nullary constructors
In the data type declaration for `N2'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment