summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/drvfail009.stderr
blob: fcc5b4c305628567b9d794830d8e5b1d288f4355 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

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’