[project @ 2001-08-22 12:24:41 by simonmar]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail046.hs b/ghc/tests/typecheck/should_fail/tcfail046.hs
deleted file mode 100644 (file)
index 6f8185c..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail046.hs
+++ /dev/null
@@ -1,26 +0,0 @@
--- !! 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