ghc/tests/deriving/should_compile/drv003.hs

   1 -- !!! This is the example given in TcDeriv
   2 --
   3 module ShouldSucceed where
   4
   5 data T a b
   6   = C1 (Foo a) (Bar b)
   7   | C2 Int (T b a)
   8   | C3 (T a a)
   9   deriving Eq
  10
  11 data Foo a = MkFoo Double a deriving ()
  12 instance (Eq a) => Eq (Foo a)
  13
  14 data Bar a = MkBar Int Int deriving ()
  15 instance (Ping b) => Eq (Bar b)
  16
  17 class Ping a