SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/link.sml
Diff of /sml/trunk/src/cm/link.sml
Parent Directory
|
Revision Log
|
Patch
42 |
|
|
43 |
fun bn2statenv gp i = #1 (#stat (valOf (RecompTraversal.bnode gp i))) |
fun bn2statenv gp i = #1 (#stat (valOf (RecompTraversal.bnode gp i))) |
44 |
|
|
|
structure Stabilize = StabilizeFn (val bn2statenv = bn2statenv) |
|
|
|
|
|
structure Parse = ParseFn (structure Stabilize = Stabilize) |
|
|
|
|
45 |
fun doall farsbnode (GroupGraph.GROUP { exports, ... }, gp) = let |
fun doall farsbnode (GroupGraph.GROUP { exports, ... }, gp) = let |
46 |
fun one ((fsbn, _), false) = false |
fun one ((fsbn, _), false) = false |
47 |
| one ((fsbn, _), true) = |
| one ((fsbn, _), true) = |
56 |
before FullPersstate.rememberShared () |
before FullPersstate.rememberShared () |
57 |
fun make_group arg = |
fun make_group arg = |
58 |
(if recomp_group arg then exec_group arg else false) |
(if recomp_group arg then exec_group arg else false) |
59 |
|
|
60 |
|
structure Stabilize = StabilizeFn (val bn2statenv = bn2statenv |
61 |
|
val recomp = recomp_group) |
62 |
|
|
63 |
|
structure Parse = ParseFn (structure Stabilize = Stabilize) |
64 |
in |
in |
65 |
structure CM = struct |
structure CM = struct |
66 |
|
|
|
Legend:
Removed from v.310 |
|
changed lines |
|
Added in v.311 |
|
|