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 631, Fri Apr 28 08:30:52 2000 UTC revision 632, Sat Apr 29 15:50:42 2000 UTC
# Line 10  Line 10 
10    
11      type privileges = StringSet.set      type privileges = StringSet.set
12    
13      datatype kind =      datatype libkind =
14            STABLE of unit -> unit          (* pickle dropper *)
15          | DEVELOPED of { wrapped: privileges, subgroups: subgrouplist }
16    
17        and kind =
18          NOLIB of { owner: SrcPath.t option, subgroups: subgrouplist }          NOLIB of { owner: SrcPath.t option, subgroups: subgrouplist }
19        | LIB of { wrapped: privileges, subgroups: subgrouplist }        | LIB of { version: Version.t option, kind: libkind }
       | STABLELIB of unit -> unit       (* pickle dropper *)  
20    
21      (* the "required" field includes everything:      (* the "required" field includes everything:
22       *   1. privileges required by subgroups       *   1. privileges required by subgroups

Legend:
Removed from v.631  
changed lines
  Added in v.632

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