Simon's big boxy-type commit

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

diff --git a/ghc/compiler/typecheck/TcUnify.lhs-boot b/ghc/compiler/typecheck/TcUnify.lhs-boot
index ac6b0c2..8a1847e 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.lhs-boot
+++ b/ghc/compiler/typecheck/TcUnify.lhs-boot
@@ -1,10 +1,11 @@
 \begin{code}
 module TcUnify where
-import TcType  ( TcTauType )
+import TcType  ( TcTauType, BoxyType )
 import TcRnTypes( TcM )
 
 -- This boot file exists only to tie the knot between
 --             TcUnify and TcSimplify
 
-unifyTauTy :: TcTauType -> TcTauType -> TcM ()
+unifyType :: TcTauType -> TcTauType -> TcM ()
+zapToMonotype :: BoxyType -> TcM TcTauType
 \end{code}