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 665, Fri Jun 16 04:43:57 2000 UTC revision 666, Fri Jun 16 08:27:00 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.t option, subgroups: subgrouplist }          NOLIB of { owner: SrcPath.file option, subgroups: subgrouplist }
19        | LIB of { version: Version.t option, kind: libkind }        | LIB of { version: Version.t option, kind: libkind }
20    
21      (* the "required" field includes everything:      (* the "required" field includes everything:
# Line 27  Line 27 
27          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
28                     kind: kind,                     kind: kind,
29                     required: privileges,                     required: privileges,
30                     grouppath: SrcPath.t,                     grouppath: SrcPath.file,
31                     sources: { class: string, derived: bool } SrcPathMap.map,                     sources: { class: string, derived: bool } SrcPathMap.map,
32                     sublibs: subgrouplist }                     sublibs: subgrouplist }
33        | ERRORGROUP        | ERRORGROUP
34    
35      withtype subgrouplist = (SrcPath.t * (unit -> group)) list      withtype subgrouplist =
36            (SrcPath.file * (unit -> group) * SrcPath.rebindings) list
37      (* Note: "sublibs" consists of (srcpath, group) pairs where      (* Note: "sublibs" consists of (srcpath, group) pairs where
38       * srcpath is equivalent -- but not necessarily identical -- to       * srcpath is equivalent -- but not necessarily identical -- to
39       * the "grouppath" component of "group".  The group might have       * the "grouppath" component of "group".  The group might have

Legend:
Removed from v.665  
changed lines
  Added in v.666

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