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 370, Mon Jul 5 08:59:13 1999 UTC revision 371, Mon Jul 5 14:34:41 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 globi (foldl loci (SrcPathSet.add (known, p)) l) g              else foldl farsbnode (foldl snode (SrcPathSet.add (known, p)) l) g
23          end          end
24    
         and loci ((n, _), known) = snode (n, known)  
         and globi ((n, _), known) = farsbnode (n, known)  
   
25          and farsbnode ((_, n), known) = sbnode (n, known)          and farsbnode ((_, n), known) = sbnode (n, known)
26    
27          and sbnode (DG.SB_BNODE _, known) = known          and sbnode (DG.SB_BNODE _, known) = known

Legend:
Removed from v.370  
changed lines
  Added in v.371

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