X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs-boot;h=244f0cb19b32c2c57bdb227e3b9e501bf3be7361;hb=f67b457bb0271dd1590efcaa912fc441388531d9;hp=b39573e0766660feee35422fb32f22088e27712e;hpb=ad192ab08564152e226535c179778a896598eac2;p=ghc-hetmet.git

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