Searched refs:tcExtendLocalInstEnv (Results 1 – 3 of 3) sorted by relevance
24 tcExtendLocalInstEnv,714 tcExtendLocalInstEnv :: [ClsInst] -> TcM a -> TcM a716 tcExtendLocalInstEnv dfuns thing_inside function
410 = tcExtendLocalInstEnv (map iSpec infos) thing_inside
240 ; gbl_env <- tcExtendLocalInstEnv (map iSpec (bagToList inst_info))