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 361, Wed Jun 30 06:44:04 1999 UTC revision 362, Thu Jul 1 09:39:48 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' : DependencyGraph.impexp SymbolMap.map -> SrcPathSet.set
10      val reachable : GroupGraph.group -> SrcPathSet.set      val reachable : GroupGraph.group -> SrcPathSet.set
11  end  end
12    
13  structure Reachable :> REACHABLE = struct  structure Reachable :> REACHABLE = struct
14      structure DG = DependencyGraph      structure DG = DependencyGraph
15    
16      fun reachable (GroupGraph.GROUP { exports, ... }) = let      fun reachable' exports = let
17          fun snode (DG.SNODE n, known) = let          fun snode (DG.SNODE n, known) = let
18              val { smlinfo, localimports = l, globalimports = g } = n              val { smlinfo, localimports = l, globalimports = g } = n
19              val p = SmlInfo.sourcepath smlinfo              val p = SmlInfo.sourcepath smlinfo
# Line 30  Line 31 
31      in      in
32          SymbolMap.foldl impexp SrcPathSet.empty exports          SymbolMap.foldl impexp SrcPathSet.empty exports
33      end      end
34    
35        fun reachable (GroupGraph.GROUP { exports, ... }) = reachable' exports
36  end  end

Legend:
Removed from v.361  
changed lines
  Added in v.362

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