projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0b8149ce8a097db30af89208ff9ad424a01beca6
[ghc-hetmet.git]
/
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