Lines Matching defs:env
130 fun pass2 (v, makeTypeId, env, lex, sigTypeIdMap) =
296 fun assignValues (level, letDepth, env, near, v) =
300 lookupType = fn s => case #lookupType env s of NONE => NONE | SOME t => SOME(t, NONE),
301 lookupStruct = fn s => case #lookupStruct env s of NONE => NONE | SOME t => SOME(t, NONE)
305 fun assignSeq(env, depth, l, isExp) =
310 val expT = assignValues(level, depth, env, v, h)
451 ({lookupType = #lookupType env, lookupStruct = #lookupStruct env},
492 getOpt (#lookupVal env name, undefinedValue)
497 {lookupVal= #lookupVal env, lookupStruct= #lookupStruct env},
502 val () = possible := #allValNames env
577 val () = possible := #allValNames env
582 {lookupVal = #lookupVal env, lookupStruct = #lookupStruct env},
715 (* val assValues = assignValues level line env; *)
723 {lookupVal = #lookupVal env, lookupStruct = #lookupStruct env},
740 possible := #allValNames env;
895 ("Structure", {lookupStruct = #lookupStruct env}, name,
938 #enterType env (name, newTypeSet)
947 #enterStruct env (name, selectedStruct)
956 #enterVal env (name, selectedVar)
1024 #enterType env (name, TypeConstrSet(tcon, [])) (* Put in the surrounding scope. *)
1041 ({lookupType = #lookupType env, lookupStruct = #lookupStruct env},
1053 else lookupStructure("Structure", {lookupStruct = #lookupStruct env},
1100 List.app (fn c => (#enterVal env) (valName c, c)) newValConstrs;
1102 (#enterType env) (newType, newTypeCons);
1164 lookupVal = lookupDefault (#lookup newValEnv) (#lookupVal env),
1165 lookupType = lookupDefault (#lookup newTypeEnv) (#lookupType env),
1166 lookupFix = #lookupFix env,
1169 lookupStruct = lookupDefault (#lookup newStrEnv) (#lookupStruct env),
1170 lookupSig = #lookupSig env,
1171 lookupFunct = #lookupFunct env,
1172 lookupTvars = #lookupTvars env,
1181 enterSig = #enterSig env,
1182 enterFunct = #enterFunct env,
1183 allValNames = fn () => (stringsOfSearchList newValEnv () @ #allValNames env ())
1206 #enterVal env pair),
1210 #enterType env pair),
1211 enterFix = #enterFix env,
1215 #enterStruct env pair),
1216 enterSig = #enterSig env,
1217 enterFunct = #enterFunct env,
1229 assignSeq (env, letDepth, ptl, true)
1262 {lookupVal= #lookupVal env,
1263 lookupStruct= #lookupStruct env},
1274 possible := #allValNames env;
1292 (* Put this exception into the env *)
1293 #enterVal env (name, exValue)
1403 List.app (fn name => #enterFix env (name, FixStatus(name, fix))) tlist;
1439 lookupVal = lookupDefault (#lookup newEnv) (#lookupVal env),
1440 lookupType = #lookupType env,
1441 lookupFix = #lookupFix env,
1442 lookupStruct = #lookupStruct env,
1443 lookupSig = #lookupSig env,
1444 lookupFunct = #lookupFunct env,
1445 lookupTvars = #lookupTvars env,
1446 enterVal = #enterVal env,
1447 enterType = #enterType env,
1448 enterFix = #enterFix env,
1449 enterStruct = #enterStruct env,
1450 enterSig = #enterSig env,
1451 enterFunct = #enterFunct env,
1453 fn () => (stringsOfSearchList newEnv () @ #allValNames env ())
1480 case #lookupTvars env name of SOME v => linkTypeVars(v, tv) | NONE => setTvarLevel (tv, newLevel));
1536 then lookupDefault (#lookup recEnv) (#lookupVal env)
1537 else #lookupVal env,
1538 lookupType = #lookupType env,
1539 lookupFix = #lookupFix env,
1540 lookupStruct = #lookupStruct env,
1541 lookupSig = #lookupSig env,
1542 lookupFunct = #lookupFunct env,
1546 (lookupDefault (#lookup implicit) (#lookupTvars env)),
1547 enterVal = #enterVal env,
1548 enterType = #enterType env,
1549 enterFix = #enterFix env,
1550 enterStruct = #enterStruct env,
1551 enterSig = #enterSig env,
1552 enterFunct = #enterFunct env,
1555 then fn () => (stringsOfSearchList recEnv () @ #allValNames env ())
1556 else #allValNames env
1608 #enterVal env (s, v)
1630 case #lookupTvars env name of SOME v => linkTypeVars(v, tv) | NONE => setTvarLevel (tv, funLevel));
1755 (lookupDefault (#lookup newEnv) (#lookupVal env)),
1756 lookupType = #lookupType env,
1757 lookupFix = #lookupFix env,
1758 lookupStruct = #lookupStruct env,
1759 lookupSig = #lookupSig env,
1760 lookupFunct = #lookupFunct env,
1764 (lookupDefault (#lookup implicit) (#lookupTvars env)),
1765 enterVal = #enterVal env,
1766 enterType = #enterType env,
1767 enterFix = #enterFix env,
1768 enterStruct = #enterStruct env,
1769 enterSig = #enterSig env,
1770 enterFunct = #enterFunct env,
1773 stringsOfSearchList newEnv () @ #allValNames env ())
1900 #enterVal env (name, var);
1949 ({lookupType = lookupDefault(#lookup localTypeEnv) (#lookupType env),
1950 lookupStruct = #lookupStruct env},
1979 #enterType env (name, tset) (* Put in the global environment. *)
2039 then (#enter abstypeEnv (name, tset); #enterType env (name, TypeConstrSet(typ, [])))
2040 else #enterType env (name, tset);
2058 then #apply consEnv (#enterVal env)
2073 fun enterValFn pair = (#enter localEnv pair; #enterVal env pair);
2076 (lookupDefault (#lookup consEnv) (#lookupVal env))
2077 fun allValNames () = (stringsOfSearchList localEnv () @ stringsOfSearchList consEnv () @ #allValNames env ())
2081 fun enterTypeFn pair = (#enter abstypeEnv pair; #enterType env pair);
2083 lookupDefault (#lookup abstypeEnv) (#lookupType env)
2088 lookupFix = #lookupFix env,
2089 lookupStruct = #lookupStruct env,
2090 lookupSig = #lookupSig env,
2091 lookupFunct = #lookupFunct env,
2092 lookupTvars = #lookupTvars env,
2095 enterFix = #enterFix env,
2096 enterStruct = #enterStruct env,
2097 enterSig = #enterSig env,
2098 enterFunct = #enterFunct env,
2121 val Env gEnv = env
2123 val env =
2141 assignValues(1, 0, env, v, v)
2315 and env = env