Reorganisation of the source tree
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.lhs-boot
diff --git a/ghc/compiler/typecheck/TcUnify.lhs-boot b/ghc/compiler/typecheck/TcUnify.lhs-boot
deleted file mode 100644 (file)
index 8a1847e..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-\begin{code}
-module TcUnify where
-import TcType  ( TcTauType, BoxyType )
-import TcRnTypes( TcM )
-
--- This boot file exists only to tie the knot between
---             TcUnify and TcSimplify
-
-unifyType :: TcTauType -> TcTauType -> TcM ()
-zapToMonotype :: BoxyType -> TcM TcTauType
-\end{code}