SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/stable/stabilize.sml
Diff of /sml/trunk/src/cm/stable/stabilize.sml
Parent Directory
|
Revision Log
|
Patch
406 |
localimports = li, |
localimports = li, |
407 |
globalimports = gi } |
globalimports = gi } |
408 |
in |
in |
|
destroy_state gp smlinfo; |
|
409 |
m := SmlInfoMap.insert (!m, smlinfo, n); |
m := SmlInfoMap.insert (!m, smlinfo, n); |
410 |
n |
n |
411 |
end |
end |
423 |
|
|
424 |
val exports = SymbolMap.map impexp (#exports grec) |
val exports = SymbolMap.map impexp (#exports grec) |
425 |
in |
in |
426 |
|
SmlInfoMap.appi (fn (i, _) => destroy_state gp i) (!m); |
427 |
GG.GROUP { exports = exports, |
GG.GROUP { exports = exports, |
428 |
kind = GG.STABLELIB, |
kind = GG.STABLELIB, |
429 |
required = required, |
required = required, |
452 |
cleanup = fn () => |
cleanup = fn () => |
453 |
(OS.FileSys.remove (mksname ()) |
(OS.FileSys.remove (mksname ()) |
454 |
handle _ => ()) }) |
handle _ => ()) }) |
455 |
handle exn => NONE |
handle exn => |
456 |
|
(EM.errorNoFile (#errcons gp, anyerrors) SM.nullRegion |
457 |
|
EM.COMPLAIN |
458 |
|
(concat ["Exception raised while stabilizing ", |
459 |
|
SrcPath.descr grouppath]) |
460 |
|
EM.nullErrorBody; |
461 |
|
NONE) |
462 |
end |
end |
463 |
in |
in |
464 |
case #kind grec of |
case #kind grec of |
|
Legend:
Removed from v.425 |
|
changed lines |
|
Added in v.426 |
|
|