Diff of /sml/trunk/src/cm/depend/ggraph.sml

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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