Searched refs:mkTypeEnvWithImplicits (Results 1 – 8 of 8) sorted by relevance
7 , mkTypeEnvWithImplicits64 mkTypeEnvWithImplicits :: [TyThing] -> TypeEnv65 mkTypeEnvWithImplicits things = function
107 typeEnvFromEntities, mkTypeEnvWithImplicits,2208 mkTypeEnvWithImplicits :: [TyThing] -> TypeEnv2209 mkTypeEnvWithImplicits things = function
106 typeEnvFromEntities, mkTypeEnvWithImplicits,2254 mkTypeEnvWithImplicits :: [TyThing] -> TypeEnv2255 mkTypeEnvWithImplicits things = function
1920 type_env1 = mkTypeEnvWithImplicits top_ty_things
403 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)
451 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)
462 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)