Searched refs:extendTypeEnvWithIds (Results 1 – 9 of 9) sorted by relevance
10 , extendTypeEnvWithIds90 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv91 extendTypeEnvWithIds env ids function
674 ; type_env1 = extendTypeEnvWithIds type_env0 val_ids675 ; type_env2 = extendTypeEnvWithIds type_env1 dfun_ids723 type_env' = extendTypeEnvWithIds local_type_env boot_dfuns1921 type_env = extendTypeEnvWithIds type_env1 (map instanceDFunId ic_insts)
870 tcg_type_env = extendTypeEnvWithIds (tcg_type_env tcg_env) (map fst dfun_insts)
109 extendTypeEnvWithIds, plusTypeEnv,2233 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv2234 extendTypeEnvWithIds env ids function
108 extendTypeEnvWithIds, plusTypeEnv,2279 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv2280 extendTypeEnvWithIds env ids function
404 te = extendTypeEnvWithIds te1 (map instanceDFunId cls_insts)
452 te = extendTypeEnvWithIds te1 (map instanceDFunId cls_insts)
463 te = extendTypeEnvWithIds te1 (map instanceDFunId cls_insts)