[project @ 1997-07-31 00:05:10 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail046.hs

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail046.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail046.hs
deleted file mode 100644 (file)
index 40fad6b..0000000
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail046.hs
+++ /dev/null
@@ -1,32 +0,0 @@
---!! function types in deriving Eq things
--- From a bug report by Dave Harrison <D.A.Harrison@newcastle.ac.uk>
-
-module Simulation(Process,
-                 Status,
-                 Pid,
-                 Time,
-                 Continuation,
-                 Message,
-                 MessList ) 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