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 536, Fri Feb 18 16:51:54 2000 UTC revision 537, Fri Feb 18 17:20:16 2000 UTC
# Line 11  Line 11 
11      type privileges = StringSet.set      type privileges = StringSet.set
12    
13      datatype kind =      datatype kind =
14          NOLIB          NOLIB of subgrouplist
15        | LIB of privileges               (* wrapped privileges *)        | LIB of privileges * subgrouplist (* wrapped privileges *)
16        | STABLELIB of unit -> unit       (* pickle dropper *)        | STABLELIB of unit -> unit       (* pickle dropper *)
17    
18      (* the "required" field includes everything:      (* the "required" field includes everything:
# Line 20  Line 20 
20       *   2. newly required privileges       *   2. newly required privileges
21       *   3. privileges that would be wrapped once the group is stabilized       *   3. privileges that would be wrapped once the group is stabilized
22       *)       *)
23      datatype group =      and group =
24          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
25                     kind: kind,                     kind: kind,
26                     required: privileges,                     required: privileges,
27                     grouppath: SrcPath.t,                     grouppath: SrcPath.t,
28                     sublibs: (SrcPath.t * group) list }                     sublibs: subgrouplist }
29    
30        withtype subgrouplist = (SrcPath.t * group) list
31      (* Note: "sublibs" consists of (srcpath, group) pairs where      (* Note: "sublibs" consists of (srcpath, group) pairs where
32       * srcpath is equivalent -- but not necessarily identical -- to       * srcpath is equivalent -- but not necessarily identical -- to
33       * the "grouppath" component of "group".  The group might have       * the "grouppath" component of "group".  The group might have

Legend:
Removed from v.536  
changed lines
  Added in v.537

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