Home
last modified time | relevance | path

Searched refs:emitImplications (Results 1 – 3 of 3) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcRules.hs140 ; emitImplications (lhs_implic `unionBags` rhs_implic)
H A DTcRnMonad.hs100 emitImplication, emitImplications, emitInsoluble,
1578 emitImplications :: Bag Implication -> TcM ()
1579 emitImplications ct function
H A DTcUnify.hs1185 ; emitImplications implics