Reorganisation of the source tree

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

diff --git a/compiler/typecheck/TcUnify.lhs-boot b/compiler/typecheck/TcUnify.lhs-boot
new file mode 100644 (file)
index 0000000..8a1847e
--- /dev/null
+++ b/compiler/typecheck/TcUnify.lhs-boot
@@ -0,0 +1,11 @@
+\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}