[project @ 2003-07-23 16:19:48 by simonmar]

[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..30f21f5 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.hi-boot-6
+++ b/ghc/compiler/typecheck/TcUnify.hi-boot-6
@@ -1,8 +1,8 @@
+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 GHC.Base.()