diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail046.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail046.hs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail046.hs b/testsuite/tests/typecheck/should_fail/tcfail046.hs new file mode 100644 index 0000000000..67225acde0 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail046.hs @@ -0,0 +1,27 @@ +-- !! function types in deriving Eq things +-- From a bug report by Dave Harrison <D.A.Harrison@newcastle.ac.uk> + +module ShouldFail where + + +type Process a = Pid -> Time -> Message a -> ( MessList a, + Continuation a) + +data Continuation a = Do (Process a) deriving Eq + + +type ProcList a = [ (Pid, Status, Process a) ] +data Status = Active | Passive | Busy Integer | Terminated + deriving Eq + + +data Message a = Create (Process a) | Created Pid | Activate Pid | + Passivate Pid | Terminate Pid | Wait Pid Time | + Query Pid a | Data Pid a | Event | + Output Pid String + deriving Eq + +type MessList a = [ Message a ] + +type Pid = Integer +type Time = Integer |