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 443, Thu Sep 16 02:33:21 1999 UTC revision 444, Thu Sep 16 05:32:14 1999 UTC
# Line 25  Line 25 
25                     kind: kind,                     kind: kind,
26                     required: privileges,                     required: privileges,
27                     grouppath: SrcPath.t,                     grouppath: SrcPath.t,
28                     sublibs: group list }                     sublibs: (SrcPath.t * group) list }
29        (* Note: "sublibs" consists of (srcpath, group) pairs where
30         * srcpath is equivalent -- but not necessarily identical -- to
31         * the "grouppath" component of "group".  The group might have
32         * been known before in which case "grouppath" would carry the
33         * path that was used back then to refer to the group.  But for
34         * the purpose of stabilization we must know the abstract path
35         * that was used this time. *)
36  end  end

Legend:
Removed from v.443  
changed lines
  Added in v.444

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