[project @ 2001-11-26 09:22:05 by simonpj]

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

diff --git a/ghc/compiler/typecheck/TcUnify.hi-boot-5 b/ghc/compiler/typecheck/TcUnify.hi-boot-5
new file mode 100644 (file)
index 0000000..ad561d2
--- /dev/null
+++ b/ghc/compiler/typecheck/TcUnify.hi-boot-5
@@ -0,0 +1,8 @@
+-- This boot file exists only to tie the knot between
+--             TcUnify and TcSimplify
+
+__interface TcUnify 1 0 where
+__export TcUnify unifyTauTy ;
+1 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcMonad.TcM () ;
+
+