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

diff --git a/compiler/typecheck/TcUnify.lhs-boot b/compiler/typecheck/TcUnify.lhs-boot
index 4d385b1..244f0cb 100644
--- a/compiler/typecheck/TcUnify.lhs-boot
+++ b/compiler/typecheck/TcUnify.lhs-boot
@@ -1,6 +1,6 @@
 \begin{code}
 module TcUnify where
-import TcType	( TcTauType, BoxySigmaType, BoxyType )
+import TcType	( TcTauType )
 import TcRnTypes( TcM )
 import Coercion (CoercionI)
 
@@ -8,6 +8,4 @@ import Coercion (CoercionI)
 --		TcUnify and TcSimplify
 
 unifyType :: TcTauType -> TcTauType -> TcM CoercionI
-boxyUnify :: BoxyType -> BoxyType -> TcM CoercionI
-zapToMonotype :: BoxySigmaType -> TcM TcTauType
 \end{code}