blob: 4d36bfa2d94c20cecb4ac2401ba4adf0e97ff2bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
module TcUnify where
import TcType ( TcTauType )
import TcRnTypes ( TcM )
import TcEvidence ( TcCoercion )
import Outputable ( Outputable )
import HsExpr ( HsExpr )
import Name ( Name )
-- This boot file exists only to tie the knot between
-- TcUnify and Inst
unifyType :: Outputable a => Maybe a -> TcTauType -> TcTauType -> TcM TcCoercion
unifyKind :: Outputable a => Maybe a -> TcTauType -> TcTauType -> TcM TcCoercion
noThing :: Maybe (HsExpr Name)
|