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/smlfile/smlinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml

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

revision 301, Fri May 28 09:43:39 1999 UTC revision 302, Sat May 29 03:19:59 1999 UTC
# Line 107  Line 107 
107          parsetree := NONE          parsetree := NONE
108    
109      fun forgetAllBut reachable = let      fun forgetAllBut reachable = let
110          val m0 = !knownInfo          fun isReachable (p, m) = AbsPathSet.member (reachable, p)
         fun retain (p, m) =  
             case AbsPathMap.find (m0, p) of  
                 NONE => m  
               | SOME pi => AbsPathMap.insert (m, p, pi)  
111      in      in
112          knownInfo := AbsPathSet.foldl retain AbsPathMap.empty reachable          knownInfo := AbsPathMap.filteri isReachable (!knownInfo)
113      end      end
114    
115      fun info (gp: GeneralParams.info) arg = let      fun info (gp: GeneralParams.info) arg = let

Legend:
Removed from v.301  
changed lines
  Added in v.302

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