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
413 |
val d = case Link.sysval (SOME statpid) of |
val d = case Link.sysval (SOME statpid) of |
414 |
SOME d => d |
SOME d => d |
415 |
| NONE => emptydyn |
| NONE => emptydyn |
416 |
val env = E.mkenv { static = statenv (), |
val { env = static, ctxt } = statenv () |
417 |
|
val env = E.mkenv { static = static, |
418 |
symbolic = symenv (), |
symbolic = symenv (), |
419 |
dynamic = d } |
dynamic = d } |
420 |
val pidInfo = { statpid = statpid, sympid = sympid } |
val pidInfo = |
421 |
|
{ statpid = statpid, sympid = sympid, |
422 |
|
ctxt = ctxt } |
423 |
in |
in |
424 |
(env, pidInfo) |
(env, pidInfo) |
425 |
end |
end |
|
Legend:
Removed from v.460 |
|
changed lines |
|
Added in v.461 |
|
|