--- sml/trunk/src/cm/depend/ggraph.sml	2000/06/16 04:43:57	665
+++ sml/trunk/src/cm/depend/ggraph.sml	2000/06/16 08:27:00	666
@@ -15,7 +15,7 @@
       | DEVELOPED of { wrapped: privileges, subgroups: subgrouplist }
 
     and kind =
-	NOLIB of { owner: SrcPath.t option, subgroups: subgrouplist }
+	NOLIB of { owner: SrcPath.file option, subgroups: subgrouplist }
       | LIB of { version: Version.t option, kind: libkind }
 
     (* the "required" field includes everything:
@@ -27,12 +27,13 @@
 	GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
 		   kind: kind,
 		   required: privileges,
-		   grouppath: SrcPath.t,
+		   grouppath: SrcPath.file,
 		   sources: { class: string, derived: bool } SrcPathMap.map,
 		   sublibs: subgrouplist }
       | ERRORGROUP
 
-    withtype subgrouplist = (SrcPath.t * (unit -> group)) list
+    withtype subgrouplist =
+	(SrcPath.file * (unit -> group) * SrcPath.rebindings) list
     (* Note: "sublibs" consists of (srcpath, group) pairs where
      * srcpath is equivalent -- but not necessarily identical -- to
      * the "grouppath" component of "group".  The group might have

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus:  not necessarily identical -- to
      * the &quot;grouppath&quot; component of &quot;group&quot;.  The group might have</div>
</div></div>
</body></html>