--- sml/trunk/src/cm/main/autoload.sml	1999/07/07 04:25:11	376
+++ sml/trunk/src/cm/main/autoload.sml	1999/07/07 06:55:18	377
@@ -60,7 +60,7 @@
     in
 	#set ter te';
 	pending :=
-	SymbolMap.unionWith #1 (SymbolMap.map addState exports, !pending)
+	   SymbolMap.unionWith #1 (SymbolMap.map addState exports, !pending)
     end
 
     fun mkManager get_ginfo (ast, ter: ER.envref) = let
@@ -158,7 +158,9 @@
 			   (#set ter (BE.concatEnv (e, te));
 			    pending := noloadmap;
 			    Say.say ["[autoloading done]\n"])
-		     | NONE => Say.say ["[autoloading failed]\n"]) })
+		     | NONE => raise Fail "unable to load module(s)") }
+	      handle Fail msg =>
+		  Say.say ["[autoloading failed: ", msg, "]\n"])
     end
 
     fun getPending () = SymbolMap.map #1 (!pending)

<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: [autoloading failed: &quot;, msg, &quot;]\n&quot;])
     end
 
     fun getPending () = SymbolMap.map #1 (!pending)</div>
</div></div>
</body></html>