testsuite/tests/deriving/should_compile/drv002.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{-# OPTIONS -fno-warn-redundant-constraints #-}

module ShouldSucceed where

data Z a b
  = C1 (T a)
  | C2 (Z [a] [b])
  deriving (Show, Read)

data T a
  = E1

instance Eq a => Show (T a) where
    showsPrec = error "show"
instance Eq a => Read (T a) where
    readsPrec = error "read"