[project @ 2004-07-28 12:59:53 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot-6

diff --git a/ghc/compiler/typecheck/TcUnify.hi-boot-6 b/ghc/compiler/typecheck/TcUnify.hi-boot-6
index 8023e28..c1f9bca 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.hi-boot-6
+++ b/ghc/compiler/typecheck/TcUnify.hi-boot-6
@@ -1,8 +1,6 @@
+module TcUnify where
+
 -- This boot file exists only to tie the knot between
 --             TcUnify and TcSimplify
 
-__interface TcUnify 1 0 where
-__export TcUnify unifyTauTy ;
-1 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcMonad.TcM GHCziBase.Z0T ;
-
-
+unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()