SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml
Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml
Parent Directory
|
Revision Log
|
Patch
106 |
errcons = errcons } |
errcons = errcons } |
107 |
|
|
108 |
fun main_compile arg = let |
fun main_compile arg = let |
109 |
val { rts, core, pervasive, primitives, filepaths } = arg |
val { rts, core, pervasive, primitives, binpaths } = arg |
110 |
|
|
111 |
val ovldR = GenericVC.Control.overloadKW |
val ovldR = GenericVC.Control.overloadKW |
112 |
val savedOvld = !ovldR |
val savedOvld = !ovldR |
171 |
if recomp gp g then |
if recomp gp g then |
172 |
SOME { rtspid = PS.toHex (#2 (#stat rts)), |
SOME { rtspid = PS.toHex (#2 (#stat rts)), |
173 |
bootfiles = |
bootfiles = |
174 |
map (fn x => (x, NONE)) filepaths @ |
map (fn x => (x, NONE)) binpaths @ |
175 |
MkBootList.group g } |
MkBootList.group g } |
176 |
else NONE |
else NONE |
177 |
end handle Option => (RT.clearFailures (); NONE) |
end handle Option => (RT.clearFailures (); NONE) |
|
Legend:
Removed from v.334 |
|
changed lines |
|
Added in v.335 |
|
|