update to track .lhs-boot file

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

diff --git a/compiler/typecheck/TcUnify.hi-boot-6 b/compiler/typecheck/TcUnify.hi-boot-6
index eb28635..e906914 100644 (file)
--- 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