X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcUnify.hi-boot-6;h=eb286359e2316f8440ca00048f87406161c545c6;hb=28a464a75e14cece5db40f2765a29348273ff2d2;hp=30f21f5cc67c02119fd6b9211a95fd0b8aea7ea3;hpb=9af77fa423926fbda946b31e174173d0ec5ebac8;p=ghc-hetmet.git

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