compiler/typecheck/TcUnify.lhs-boot

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