[project @ 2002-04-02 13:21:36 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot-6
1 module TcUnify where
2
3 -- This boot file exists only to tie the knot between
4 --              TcUnify and TcSimplify
5
6 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcMonad.TcM GHC.Base.()
7
8