Commit 1c910216 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Follow column number changes in deriving/should_fail

parent 559d51c6
T2394.hs:9:0:
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
......
T2604.hs:7:34:
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:37:
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'
T2701.hs:10:31:
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:27:
T2721.hs:15:28:
Can't make a derived instance of `C N'
(even with cunning newtype deriving:
the class has associated types)
......
T2851.hs:9:14:
T2851.hs:9:15:
No instance for (Show (F a))
arising from the 'deriving' clause of a data type declaration
at T2851.hs:9:14-17
at T2851.hs:9:15-18
Possible fix:
add an instance declaration for (Show (F a))
or use a standalone 'deriving instance' declaration instead,
......
T3101.hs:9:11:
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'
T3621.hs:21:21:
T3621.hs:21:22:
Couldn't match expected type `state' against inferred type `s'
`state' is a rigid type variable bound by
the instance declaration at T3621.hs:21:32
the instance declaration at T3621.hs:21:33
`s' is a rigid type variable bound by
the instance declaration at T3621.hs:20:21
the instance declaration at T3621.hs:20:22
When using functional dependencies to combine
MonadState s (State s),
arising from the dependency `m -> s'
in the instance declaration at T3621.hs:18:9
in the instance declaration at T3621.hs:18:10
MonadState state (State s),
arising from the instance declaration at T3621.hs:21:21-36
arising from the instance declaration at T3621.hs:21:22-37
When checking the super-classes of an instance declaration
In the instance declaration for `MonadState state (WrappedState s)'
drvfail-foldable-traversable1.hs:9:22:
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:22-32
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:21:
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:21-31
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:21:
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:30:
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:21:
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:30:
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:13:
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:13:
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:13:
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:13:
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:13:
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:13:
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:13-19
at drvfail-functor2.hs:26:14-20
Possible fix:
add an instance declaration for (Functor NoFunctor)
or use a standalone 'deriving instance' declaration instead,
......
drvfail001.hs:16:18:
drvfail001.hs:16:19:
No instance for (Show (f (f a)))
arising from the 'deriving' clause of a data type declaration
at drvfail001.hs:16:18-21
at drvfail001.hs:16:19-22
Possible fix:
add an instance declaration for (Show (f (f a)))
or use a standalone 'deriving instance' declaration instead,
......
drvfail002.hs:16:0:
drvfail002.hs:16:1:
Ambiguous constraint `X T c'
At least one of the forall'd type variables mentioned by the constraint
must be reachable from the type after the '=>'
......
drvfail003.hs:16:55:
drvfail003.hs:16:56:
No instance for (Show (v (v a)))
arising from the 'deriving' clause of a data type declaration
at drvfail003.hs:16:55-58
at drvfail003.hs:16:56-59
Possible fix:
add an instance declaration for (Show (v (v a)))
or use a standalone 'deriving instance' declaration instead,
......
drvfail004.hs:8:11:
drvfail004.hs:8:12:
No instance for (Eq (Foo a b))
arising from the 'deriving' clause of a data type declaration
at drvfail004.hs:8:11-13
at drvfail004.hs:8:12-14
Possible fix:
add an instance declaration for (Eq (Foo a b))
or use a standalone 'deriving instance' declaration instead,
......
drvfail005.hs:4:12:
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:44:
drvfail006.hs:9:45:
Can't make a derived instance of `MonadState T'
(even with cunning newtype deriving:
`MonadState' does not have arity 1)
......
drvfail007.hs:4:37:
drvfail007.hs:4:38:
No instance for (Eq (Int -> Int))
arising from the 'deriving' clause of a data type declaration
at drvfail007.hs:4:37-38
at drvfail007.hs:4:38-39
Possible fix:
add an instance declaration for (Eq (Int -> Int))
or use a standalone 'deriving instance' declaration instead,
......
drvfail008.hs:10:42:
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)
......
drvfail009.hs:10:30:
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:30:
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:32:
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:41:
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:41:
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:31:
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'
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