X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs-boot;h=4d385b123cd6e3f6d9ec491b1921c264f5a92e43;hb=3f1b316d7035c55cd712cd39a9981339bcef2e8c;hp=8a1847e671c84091c2c3252b91847e6f5cff4024;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

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