Searched refs:plusTypeEnv (Results 1 – 5 of 5) sorted by relevance
11 , plusTypeEnv94 plusTypeEnv :: TypeEnv -> TypeEnv -> TypeEnv95 plusTypeEnv env1 env2 = plusNameEnv env1 env2 function
109 extendTypeEnvWithIds, plusTypeEnv,2237 plusTypeEnv :: TypeEnv -> TypeEnv -> TypeEnv2238 plusTypeEnv env1 env2 = plusNameEnv env1 env2 function
108 extendTypeEnvWithIds, plusTypeEnv,2283 plusTypeEnv :: TypeEnv -> TypeEnv -> TypeEnv2284 plusTypeEnv env1 env2 = plusNameEnv env1 env2 function
464 ; let { final_type_env = plusTypeEnv (tcg_type_env tcg_env)465 (plusTypeEnv bind_env_mf bind_env)