[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / tests / deriving / drv003.hs
1 --!!! This is the example given in TcDeriv
2 --
3 data T a b
4   = C1 (Foo a) (Bar b) 
5   | C2 Int (T b a) 
6   | C3 (T a a)
7   deriving Eq
8
9 data Foo a = MkFoo Double a deriving ()
10 instance (Eq a) => Eq (Foo a)
11
12 data Bar a = MkBar Int Int deriving ()
13 instance (Ping b) => Eq (Bar b)
14
15 class Ping a