Remove all .hi-boot-6 files

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

diff --git a/compiler/typecheck/TcUnify.hi-boot-6 b/compiler/typecheck/TcUnify.hi-boot-6
deleted file mode 100644 (file)
index e906914..0000000
--- a/compiler/typecheck/TcUnify.hi-boot-6
+++ /dev/null
@@ -1,8 +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 Coercion.CoercionI
-zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
-boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI