Reorganisation of the source tree
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot-6
diff --git a/ghc/compiler/typecheck/TcUnify.hi-boot-6 b/ghc/compiler/typecheck/TcUnify.hi-boot-6
deleted file mode 100644 (file)
index eb28635..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-module TcUnify where
-
--- This boot file exists only to tie the knot between
---             TcUnify and TcSimplify
-
-unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
-zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType