--- sml/trunk/src/cm/stable/stabilize.sml	1999/09/06 17:40:48	425
+++ sml/trunk/src/cm/stable/stabilize.sml	1999/09/07 06:36:12	426
@@ -406,7 +406,6 @@
 					       localimports = li,
 					       globalimports = gi }
 			in
-			    destroy_state gp smlinfo;
 			    m := SmlInfoMap.insert (!m, smlinfo, n);
 			    n
 			end
@@ -424,6 +423,7 @@
 
 		val exports = SymbolMap.map impexp (#exports grec)
 	    in
+		SmlInfoMap.appi (fn (i, _) => destroy_state gp i) (!m);
 		GG.GROUP { exports = exports,
 			   kind = GG.STABLELIB,
 			   required = required,
@@ -452,7 +452,13 @@
 				   cleanup = fn () =>
 				    (OS.FileSys.remove (mksname ())
 				     handle _ => ()) })
-	    handle exn => NONE
+	    handle exn =>
+		(EM.errorNoFile (#errcons gp, anyerrors) SM.nullRegion
+		    EM.COMPLAIN
+		    (concat ["Exception raised while stabilizing ",
+			     SrcPath.descr grouppath])
+		    EM.nullErrorBody;
+		 NONE)
 	end
     in
 	case #kind grec of

<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:      SrcPath.descr grouppath])
+		    EM.nullErrorBody;
+		 NONE)
 	end
     in
 	case #kind grec of</div>
</div></div>
</body></html>