--- sml/trunk/src/cm/smlfile/smlinfo.sml	1999/05/17 14:53:49	278
+++ sml/trunk/src/cm/smlfile/smlinfo.sml	1999/05/18 08:10:36	279
@@ -15,6 +15,9 @@
 
     val resync : unit -> unit
 
+    val eq : info * info -> bool	(* compares sourcepaths *)
+    val compare : info * info -> order	(* compares sourcepaths *)
+
     val info : policy ->
 	{ sourcepath: AbsPath.t,
 	  group: AbsPath.t,
@@ -27,6 +30,8 @@
     val error : info -> string -> (PrettyPrint.ppstream -> unit) -> unit
 
     val exports : info -> SymbolSet.set
+    val skeleton : info -> Skeleton.decl
+
     val describe : info -> string
 end
 
@@ -60,6 +65,10 @@
     fun sourcepath (INFO { sourcepath = sp, ... }) = sp
     fun error (INFO { error = e, ... }) = e
 
+    fun compare (INFO { sourcepath = p, ... }, INFO { sourcepath = p', ... }) =
+	AbsPath.compare (p, p')
+    fun eq (i, i') = compare (i, i') = EQUAL
+
     (* If files change their file ids, then CM will be seriously
      * disturbed because the ordering relation will change.
      * We'll asume that this won't happen in general.  However, we provide
@@ -188,5 +197,11 @@
 	     NONE => SymbolSet.empty
 	   | SOME sk => SkelExports.exports sk)
 
+    fun skeleton i =
+	(validate i;
+	 case getSkeleton i of
+	     NONE => Skeleton.SeqDecl []
+	   | SOME sk => sk)
+
     fun describe (INFO { sourcepath, ... }) = AbsPath.name sourcepath
 end

<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: 
+	   | SOME sk =&gt; sk)
+
     fun describe (INFO { sourcepath, ... }) = AbsPath.name sourcepath
 end</div>
</div></div>
</body></html>