X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcUnify.hi-boot-5;fp=ghc%2Fcompiler%2Ftypecheck%2FTcUnify.hi-boot-5;h=ad561d282bd71cb96a5f5e91c465175583cc42f1;hb=0760818ed7cd939ca14639e1aebfc67bd934f220;hp=0000000000000000000000000000000000000000;hpb=5e3f005d3012472e422d4ffd7dca5c21a80fca80;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcUnify.hi-boot-5 b/ghc/compiler/typecheck/TcUnify.hi-boot-5
new file mode 100644
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 () ;
+
+