SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/main/cm-boot.sml
Diff of /sml/trunk/src/cm/main/cm-boot.sml
Parent Directory
|
Revision Log
|
Patch
398 |
* traversal, it will fail. *) |
* traversal, it will fail. *) |
399 |
val sbnode = Compile.newSbnodeTraversal () |
val sbnode = Compile.newSbnodeTraversal () |
400 |
fun get n = let |
fun get n = let |
401 |
val { ii, ctxt } = valOf (sbnode ginfo n) |
val { statpid, statenv, symenv, sympid } = |
402 |
val { statpid, statenv, symenv, sympid } = ii |
valOf (sbnode ginfo n) |
403 |
(* We have not implemented the "sbnode" part |
(* We have not implemented the "sbnode" part |
404 |
* in the Link module. |
* in the Link module. |
405 |
* But at boot time any relevant value should be |
* But at boot time any relevant value should be |
416 |
val env = E.mkenv { static = statenv (), |
val env = E.mkenv { static = statenv (), |
417 |
symbolic = symenv (), |
symbolic = symenv (), |
418 |
dynamic = d } |
dynamic = d } |
419 |
val pidInfo = { statpid = statpid, |
val pidInfo = { statpid = statpid, sympid = sympid } |
|
sympid = sympid, |
|
|
ctxt = ctxt } |
|
420 |
in |
in |
421 |
(env, pidInfo) |
(env, pidInfo) |
422 |
end |
end |
|
Legend:
Removed from v.459 |
|
changed lines |
|
Added in v.460 |
|
|