Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/depend/reachable.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/depend/reachable.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 362, Thu Jul 1 09:39:48 1999 UTC revision 370, Mon Jul 5 08:59:13 1999 UTC
# Line 19  Line 19 
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.362  
changed lines
  Added in v.370

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0