[project @ 2002-09-13 15:02:25 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