Super-monster patch implementing the new typechecker -- at last

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

diff --git a/compiler/typecheck/TcUnify.lhs-boot b/compiler/typecheck/TcUnify.lhs-boot
index 4d385b1..244f0cb 100644 (file)
--- 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}