ghc/compiler/typecheck/TcUnify.lhs-boot

   1 \begin{code}
   2 module TcUnify where
   3 import TcType   ( TcTauType )
   4 import TcRnTypes( TcM )
   5
   6 -- This boot file exists only to tie the knot between
   7 --              TcUnify and TcSimplify
   8
   9 unifyTauTy :: TcTauType -> TcTauType -> TcM ()
  10 \end{code}