blob: 295c85eb7303efdd0290d1281c70dba4ea70ad85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module TcUnify where
import GhcPrelude
import TcType ( TcTauType )
import TcRnTypes ( TcM )
import TcEvidence ( TcCoercion )
import HsExpr ( HsExpr )
import HsTypes ( HsType )
import HsExtension ( GhcRn )
-- This boot file exists only to tie the knot between
-- TcUnify and Inst
unifyType :: Maybe (HsExpr GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
unifyKind :: Maybe (HsType GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
|