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 572, Thu Mar 9 02:43:06 2000 UTC revision 573, Thu Mar 9 15:23:52 2000 UTC
# Line 11  Line 11 
11      type privileges = StringSet.set      type privileges = StringSet.set
12    
13      datatype kind =      datatype kind =
14          NOLIB of subgrouplist          NOLIB of { owner: SrcPath.t option, subgroups: subgrouplist }
15        | LIB of privileges * subgrouplist (* wrapped privileges *)        | LIB of { wrapped: privileges, subgroups: subgrouplist }
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:

Legend:
Removed from v.572  
changed lines
  Added in v.573

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