15 |
structure BE = GenericVC.BareEnvironment |
structure BE = GenericVC.BareEnvironment |
16 |
structure PS = GenericVC.PersStamps |
structure PS = GenericVC.PersStamps |
17 |
structure CoerceEnv = GenericVC.CoerceEnv |
structure CoerceEnv = GenericVC.CoerceEnv |
18 |
|
structure SSV = SpecificSymValFn (structure MachDepVC = MachDepVC |
19 |
|
val os = os) |
20 |
|
|
21 |
(* Since the bootstrap compiler never executes any of the code |
(* Since the bootstrap compiler never executes any of the code |
22 |
* it produces, we don't need any dynamic values. Therefore, |
* it produces, we don't need any dynamic values. Therefore, |
97 |
val param_nocore = { primconf = primconf, |
val param_nocore = { primconf = primconf, |
98 |
fnpolicy = fnpolicy, |
fnpolicy = fnpolicy, |
99 |
pcmode = pcmode, |
pcmode = pcmode, |
100 |
|
symenv = SSV.env, |
101 |
keep_going = keep_going, |
keep_going = keep_going, |
102 |
pervasive = E.emptyEnv, |
pervasive = E.emptyEnv, |
103 |
corenv = BE.staticPart BE.emptyEnv, |
corenv = BE.staticPart BE.emptyEnv, |
130 |
val param_justcore = { primconf = primconf, |
val param_justcore = { primconf = primconf, |
131 |
fnpolicy = fnpolicy, |
fnpolicy = fnpolicy, |
132 |
pcmode = pcmode, |
pcmode = pcmode, |
133 |
|
symenv = SSV.env, |
134 |
keep_going = keep_going, |
keep_going = keep_going, |
135 |
pervasive = E.emptyEnv, |
pervasive = E.emptyEnv, |
136 |
corenv = corenv, |
corenv = corenv, |
158 |
val param = { primconf = Primitive.configuration pspecs, |
val param = { primconf = Primitive.configuration pspecs, |
159 |
fnpolicy = fnpolicy, |
fnpolicy = fnpolicy, |
160 |
pcmode = pcmode, |
pcmode = pcmode, |
161 |
|
symenv = SSV.env, |
162 |
keep_going = keep_going, |
keep_going = keep_going, |
163 |
pervasive = E.mkenv { static = #1 (#stat pervasive), |
pervasive = E.mkenv { static = #1 (#stat pervasive), |
164 |
symbolic = #1 (#sym pervasive), |
symbolic = #1 (#sym pervasive), |