compiler/typecheck/TcUnify.lhs-boot

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