compiler/typecheck/TcUnify.lhs-boot

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