blob: 36f33676344afe9fed5c8e1c20314c74bc63e120 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module GHC.Tc.Utils.Unify where
import GHC.Prelude
import GHC.Tc.Utils.TcType ( TcTauType )
import GHC.Tc.Types ( TcM )
import GHC.Tc.Types.Evidence ( TcCoercion )
import GHC.Hs.Expr ( HsExpr )
import GHC.Hs.Types ( HsType )
import GHC.Hs.Extension ( GhcRn )
-- This boot file exists only to tie the knot between
-- GHC.Tc.Utils.Unify and Inst
unifyType :: Maybe (HsExpr GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
unifyKind :: Maybe (HsType GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
|
