Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / TcUnify.hs-boot
1 module TcUnify where
2
3 import GhcPrelude
4 import TcType      ( TcTauType )
5 import TcRnTypes   ( TcM )
6 import TcEvidence  ( TcCoercion )
7 import HsExpr      ( HsExpr )
8 import HsTypes     ( HsType )
9 import HsExtension ( GhcRn )
10
11 -- This boot file exists only to tie the knot between
12 --              TcUnify and Inst
13
14 unifyType :: Maybe (HsExpr GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
15 unifyKind :: Maybe (HsType GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion