Ticket #2668 (closed merge: fixed)
Standalone deriving doesn't do newtype deriving properly
|Reported by:||ryani||Owned by:||igloo|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
I'd expect the following two declarations to have identical behavior:
newtype S1 x y a = S1 (M S x y a) deriving IxMonad newtype S2 x y a = S2 (M S x y a) deriving instance IxMonad S2
$ ghc-6.11.20081005 -c deriving.hs deriving.hs:15:0: Can't make a derived instance of `IxMonad S2' (even with cunning newtype deriving: the representation type has wrong kind) In the stand-alone deriving instance for `IxMonad S2'
Note: See TracTickets for help on using tickets.