Commit 1b37d969 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Track error message change in deriving

parent c9ad5ddd
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:
Can't make a derived instance of `Monad T2'
(even with cunning newtype deriving:
the type constructor has wrong 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:
the representation type has wrong kind)
In the newtype declaration for `T3'
drvfail009.hs:19:41:
Can't make a derived instance of `Monad T4'
(even with cunning newtype deriving:
the eta-reduction property does not hold)
In the newtype declaration for `T4'
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'
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