SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/parse/parse.sml
Diff of /sml/trunk/src/cm/parse/parse.sml
Parent Directory
|
Revision Log
|
Patch
239 |
| SOME cyc => (report cyc; NONE) |
| SOME cyc => (report cyc; NONE) |
240 |
end |
end |
241 |
|
|
242 |
fun stabilize NONE = NONE |
fun stabilize (NONE, _) = NONE |
243 |
| stabilize (SOME g) = |
| stabilize (SOME g, rb) = |
244 |
(case g of |
(case g of |
245 |
GG.ERRORGROUP => NONE |
GG.ERRORGROUP => NONE |
246 |
| GG.GROUP { kind = GG.LIB _, ... } => let |
| GG.GROUP { kind = GG.LIB _, ... } => let |
247 |
val go = Stabilize.stabilize ginfo |
val go = Stabilize.stabilize ginfo |
248 |
{ group = g, anyerrors = pErrFlag } |
{ group = g, anyerrors = pErrFlag, |
249 |
|
rebindings = rb } |
250 |
in |
in |
251 |
case go of |
case go of |
252 |
NONE => NONE |
NONE => NONE |
264 |
fun reg gopt = |
fun reg gopt = |
265 |
(gc := SrcPathMap.insert (!gc, group, gopt); gopt) |
(gc := SrcPathMap.insert (!gc, group, gopt); gopt) |
266 |
fun proc_n gopt = |
fun proc_n gopt = |
267 |
reg (if stabthis then stabilize gopt |
reg (if stabthis then stabilize (gopt, rb) |
268 |
else (SmlInfo.cleanGroup false group; gopt)) |
else (SmlInfo.cleanGroup false group; gopt)) |
269 |
in |
in |
270 |
if paranoid then |
if paranoid then |
|
Legend:
Removed from v.758 |
|
changed lines |
|
Added in v.759 |
|
|