ghc/tests/deriving/should_compile/drv002.hs

   1 module ShouldSucceed where
   2
   3 data Z a b
   4   = C1 (T a)
   5   | C2 (Z [a] [b])
   6   deriving (Show, Read)
   7
   8 data T a
   9   = E1
  10
  11 instance Eq a => Show (T a) where
  12     showsPrec = error "show"
  13 instance Eq a => Read (T a) where
  14     readsPrec = error "read"