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 770, Sun Dec 24 20:06:28 2000 UTC revision 771, Sat Dec 30 13:06:09 2000 UTC
# Line 15  Line 15 
15        | DEVELOPED of { wrapped: privileges, subgroups: subgrouplist }        | DEVELOPED of { wrapped: privileges, subgroups: subgrouplist }
16    
17      and kind =      and kind =
18          NOLIB of { owner: SrcPath.file option, subgroups: subgrouplist }          NOLIB of { owner: SrcPath.file option,
19                       subgroups: subgrouplist,
20                       explicit: bool }     (* export list was explicit? *)
21        | LIB of { version: Version.t option, kind: libkind }        | LIB of { version: Version.t option, kind: libkind }
22    
23      (* the "required" field includes everything:      (* the "required" field includes everything:
# Line 34  Line 36 
36    
37      withtype subgrouplist =      withtype subgrouplist =
38          (SrcPath.file * (unit -> group) * SrcPath.rebindings) list          (SrcPath.file * (unit -> group) * SrcPath.rebindings) list
39      (* Note: "sublibs" consists of (srcpath, group) pairs where      (* Note: "sublibs" consists items where the SrcPath.file component
40       * srcpath is equivalent -- but not necessarily identical -- to       * is equivalent -- but not necessarily identical -- to the "grouppath"
41       * the "grouppath" component of "group".  The group might have       * component of (the suspended) group.  The group might have
42       * been known before in which case "grouppath" would carry the       * been known before in which case "grouppath" would carry the
43       * path that was used back then to refer to the group.  But for       * path that was used back then to refer to the group.  But for
44       * the purpose of stabilization we must know the abstract path       * the purpose of stabilization we must know the abstract path

Legend:
Removed from v.770  
changed lines
  Added in v.771

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