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
91 |
group = (specgroup, (pos, newpos)), |
group = (specgroup, (pos, newpos)), |
92 |
sh_spec = Sharing.DONTCARE, |
sh_spec = Sharing.DONTCARE, |
93 |
setup = (NONE, NONE), |
setup = (NONE, NONE), |
94 |
locl = false } |
locl = false, |
95 |
|
controllers = [] } |
96 |
in |
in |
97 |
SmlInfo.parse_for_errors gp i; |
SmlInfo.parse_for_errors gp i; |
98 |
i |
i |
|
Legend:
Removed from v.1631 |
|
changed lines |
|
Added in v.1632 |
|
|