ghc/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 type    Process a = Pid -> Time -> Message a -> ( MessList a,
   7                                                   Continuation a)
   8
   9 data    Continuation a = Do (Process a) deriving Eq
  10
  11
  12 type    ProcList a = [ (Pid, Status, Process a) ]
  13 data    Status     = Active | Passive | Busy Integer | Terminated
  14                      deriving Eq
  15
  16
  17 data Message a = Create (Process a) | Created Pid   | Activate Pid  |
  18                  Passivate Pid      | Terminate Pid | Wait Pid Time |
  19                  Query Pid a        | Data Pid a    | Event         |
  20                  Output Pid String
  21                  deriving Eq
  22
  23 type    MessList a = [ Message a ]
  24
  25 type    Pid  = Integer
  26 type    Time = Integer