Searched refs:extendTypeEnvList (Results 1 – 6 of 6) sorted by relevance
9 , extendTypeEnvList62 mkTypeEnv things = extendTypeEnvList emptyTypeEnv things87 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv88 extendTypeEnvList env things = foldl' extendTypeEnv env things function
108 extendTypeEnv, extendTypeEnvList,2206 mkTypeEnv things = extendTypeEnvList emptyTypeEnv things2230 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv2231 extendTypeEnvList env things = foldl' extendTypeEnv env things function
211 = extendTypeEnvList type_env [AConLike (PatSynCon ps) | ps <- tidy_patsyns ]
107 extendTypeEnv, extendTypeEnvList,2252 mkTypeEnv things = extendTypeEnvList emptyTypeEnv things2276 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv2277 extendTypeEnvList env things = foldl' extendTypeEnv env things function
354 ; let ge' = extendTypeEnvList (tcg_type_env tcg_env) things