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

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

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

revision 307, Tue Jun 1 09:38:28 1999 UTC revision 398, Wed Aug 25 15:36:43 1999 UTC
# Line 10  Line 10 
10    
11      type privileges = StringSet.set      type privileges = StringSet.set
12    
13      datatype stableinfo =      datatype kind =
14          NONSTABLE of privileges         (* granted privileges *)          NOLIB
15        | STABLE of DependencyGraph.bnode IntBinaryMap.map        | LIB of privileges               (* wrapped privileges *)
16          | STABLELIB
17    
18      (* the "required" field includes everything:      (* the "required" field includes everything:
19       *   1. privileges required by subgroups       *   1. privileges required by subgroups
20       *   2. newly required privileges       *   2. newly required privileges
21       *   3. privileges that would be granted once the group is stabilized *)       *   3. privileges that would be wrapped once the group is stabilized
22         *)
23      datatype group =      datatype group =
24          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
25                     islib: bool,                     kind: kind,
26                     required: privileges,                     required: privileges,
27                     grouppath: AbsPath.t,                     grouppath: SrcPath.t,
28                     subgroups: group list,                     sublibs: group list }
                    stableinfo: stableinfo }  
29  end  end

Legend:
Removed from v.307  
changed lines
  Added in v.398

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