X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.hi-boot-6;h=e906914b220ce79c32798cc2e4deffee3d78da62;hb=3f1b316d7035c55cd712cd39a9981339bcef2e8c;hp=eb286359e2316f8440ca00048f87406161c545c6;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.hi-boot-6 b/compiler/typecheck/TcUnify.hi-boot-6
index eb28635..e906914 100644
--- a/compiler/typecheck/TcUnify.hi-boot-6
+++ b/compiler/typecheck/TcUnify.hi-boot-6
@@ -3,5 +3,6 @@ module TcUnify where
 -- This boot file exists only to tie the knot between
 --		TcUnify and TcSimplify
 
-unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
+unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
 zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
+boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI