[project @ 2003-06-27 21:17:24 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 -> TcRnTypes.TcM GHC.Base.()
7
8