Searched refs:tcSubTypeHR (Results 1 – 2 of 2) sorted by relevance
15 tcSubTypeHR, tcSubTypeO, tcSubType_NC, tcSubTypeDS,545 tcSubTypeHR :: CtOrigin -- ^ of the actual type548 tcSubTypeHR orig = tcSubTypeDS_NC_O orig GenSigCtxt function
406 ; wrap_res <- tcSubTypeHR SectionOrigin (Just expr)426 ; wrap_res <- tcSubTypeHR SectionOrigin (Just expr)465 ; wrap <- tcSubTypeHR (Shouldn'tHappenOrigin "ExpTuple")646 res_wrap <- tcSubTypeHR (Shouldn'tHappenOrigin "RecordCon")906 ; wrap_res <- tcSubTypeHR (exprCtOrigin expr)