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 301, Fri May 28 09:43:39 1999 UTC revision 354, Fri Jun 25 08:36:12 1999 UTC
# Line 6  Line 6 
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8  signature REACHABLE = sig  signature REACHABLE = sig
9      val reachable : GroupGraph.group -> AbsPathSet.set      val reachable : GroupGraph.group -> SrcPathSet.set
10  end  end
11    
12  structure Reachable :> REACHABLE = struct  structure Reachable :> REACHABLE = struct
# Line 17  Line 17 
17              val { smlinfo, localimports = l, globalimports = g } = n              val { smlinfo, localimports = l, globalimports = g } = n
18              val p = SmlInfo.sourcepath smlinfo              val p = SmlInfo.sourcepath smlinfo
19          in          in
20              if AbsPathSet.member (known, p) then known              if SrcPathSet.member (known, p) then known
21              else foldl farsbnode (foldl snode (AbsPathSet.add (known, p)) l) g              else foldl farsbnode (foldl snode (SrcPathSet.add (known, p)) l) g
22          end          end
23    
24          and farsbnode ((_, n), known) = sbnode (n, known)          and farsbnode ((_, n), known) = sbnode (n, known)
# Line 28  Line 28 
28    
29          fun impexp ((n, _), known) = farsbnode (n, known)          fun impexp ((n, _), known) = farsbnode (n, known)
30      in      in
31          SymbolMap.foldl impexp AbsPathSet.empty exports          SymbolMap.foldl impexp SrcPathSet.empty exports
32      end      end
33  end  end

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

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