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
116 |
| ["start"] => loop (split, m, SOME [], newpos) |
| ["start"] => loop (split, m, SOME [], newpos) |
117 |
| ("bind" :: name :: file :: args) => |
| ("bind" :: name :: file :: args) => |
118 |
node (name, file, args) |
node (name, file, args) |
119 |
| ("return" :: rts :: core :: pervasive :: prims) => |
| ("return" :: core :: rts :: pervasive :: prims) => |
120 |
SOME { rts = look_snode rts, |
SOME { rts = look_snode rts, |
121 |
core = look_snode core, |
core = look_snode core, |
122 |
pervasive = look_snode pervasive, |
pervasive = look_snode pervasive, |
|
Legend:
Removed from v.330 |
|
changed lines |
|
Added in v.331 |
|
|