[project @ 2002-07-02 10:16:35 by wolfgang]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot-6
index 8023e28..a4caf69 100644 (file)
@@ -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 -> TcMonad.TcM GHC.Base.()