Searched refs:tc_infer_id (Results 1 – 1 of 1) sorted by relevance
1718 = do { (expr', ty) <- tc_infer_id lbl sel1736 then tc_infer_id (nameRdrName id_name) id_name1740 = do { (expr, ty) <- tc_infer_id (nameRdrName id_name) id_name1754 tc_infer_id :: RdrName -> Name -> TcM (HsExpr GhcTcId, TcSigmaType)1755 tc_infer_id lbl id_name function