SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/depend/reachable.sml
Diff of /sml/trunk/src/cm/depend/reachable.sml
Parent Directory
| 
Revision Log
| 
Patch
| 19 |
val p = SmlInfo.sourcepath smlinfo |
val p = SmlInfo.sourcepath smlinfo |
| 20 |
in |
in |
| 21 |
if SrcPathSet.member (known, p) then known |
if SrcPathSet.member (known, p) then known |
| 22 |
else foldl farsbnode (foldl snode (SrcPathSet.add (known, p)) l) g |
else foldl globi (foldl loci (SrcPathSet.add (known, p)) l) g |
| 23 |
end |
end |
| 24 |
|
|
| 25 |
|
and loci ((n, _), known) = snode (n, known) |
| 26 |
|
and globi ((n, _), known) = farsbnode (n, known) |
| 27 |
|
|
| 28 |
and farsbnode ((_, n), known) = sbnode (n, known) |
and farsbnode ((_, n), known) = sbnode (n, known) |
| 29 |
|
|
| 30 |
and sbnode (DG.SB_BNODE _, known) = known |
and sbnode (DG.SB_BNODE _, known) = known |
|
|
Legend:
| Removed from v.369 |
|
| changed lines |
| |
Added in v.370 |
|
|
