SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/bootstrap/build-initdg.sml
Diff of /sml/trunk/src/cm/bootstrap/build-initdg.sml
Parent Directory
|
Revision Log
|
Patch
93 |
| n as DG.SB_BNODE _ => (li, (NONE, n) :: gi) |
| n as DG.SB_BNODE _ => (li, (NONE, n) :: gi) |
94 |
val (li, gi) = foldr one ([], []) args |
val (li, gi) = foldr one ([], []) args |
95 |
val i = sml (file, split) |
val i = sml (file, split) |
96 |
|
fun addTrap n = (n, ref false) |
97 |
val n = DG.SNODE { smlinfo = i, |
val n = DG.SNODE { smlinfo = i, |
98 |
localimports = li, |
localimports = map addTrap li, |
99 |
globalimports = gi } |
globalimports = map addTrap gi } |
100 |
in |
in |
101 |
loop (split, |
loop (split, |
102 |
StringMap.insert (m, name, DG.SB_SNODE n), |
StringMap.insert (m, name, DG.SB_SNODE n), |
|
Legend:
Removed from v.369 |
|
changed lines |
|
Added in v.370 |
|
|