Searched refs:typeEnvFromEntities (Results 1 – 7 of 7) sorted by relevance
6 , typeEnvFromEntities70 typeEnvFromEntities :: [Id] -> [TyCon] -> [PatSyn] -> [FamInst] -> TypeEnv71 typeEnvFromEntities ids tcs patsyns famInsts = function
179 type_env1 = typeEnvFromEntities final_ids final_tcs fam_insts393 ; type_env = typeEnvFromEntities final_ids final_tcs fam_insts
107 typeEnvFromEntities, mkTypeEnvWithImplicits,2214 typeEnvFromEntities :: [Id] -> [TyCon] -> [FamInst] -> TypeEnv2215 typeEnvFromEntities ids tcs famInsts = function
1082 cm_types = typeEnvFromEntities (bindersOfBinds (mg_binds mg))
224 type_env = typeEnvFromEntities ids (mg_tcs guts) (mg_fam_insts guts)
106 typeEnvFromEntities, mkTypeEnvWithImplicits,2260 typeEnvFromEntities :: [Id] -> [TyCon] -> [FamInst] -> TypeEnv2261 typeEnvFromEntities ids tcs famInsts = function