Searched refs:emitImplication (Results 1 – 4 of 4) sorted by relevance
2913 ; emitImplication imp2932 ; emitImplication imp }3004 emitImplication :: Implication -> TcS ()3005 emitImplication implic function
100 emitImplication, emitImplications, emitInsoluble,1573 emitImplication :: Implication -> TcM ()1574 emitImplication ct function
1128 ; emitImplication $
1224 ; emitImplication $