Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail046.hs
1 -- !! function types in deriving Eq things
2 -- From a bug report by Dave Harrison <D.A.Harrison@newcastle.ac.uk>
3
4 module ShouldFail where
5
6
7 type Process a = Pid -> Time -> Message a -> ( MessList a,
8 Continuation a)
9
10 data Continuation a = Do (Process a) deriving Eq
11
12
13 type ProcList a = [ (Pid, Status, Process a) ]
14 data Status = Active | Passive | Busy Integer | Terminated
15 deriving Eq
16
17
18 data Message a = Create (Process a) | Created Pid | Activate Pid |
19 Passivate Pid | Terminate Pid | Wait Pid Time |
20 Query Pid a | Data Pid a | Event |
21 Output Pid String
22 deriving Eq
23
24 type MessList a = [ Message a ]
25
26 type Pid = Integer
27 type Time = Integer