--- trunk/src/compiler/common/error.sml	2013/04/07 11:35:08	2355
+++ trunk/src/compiler/common/error.sml	2013/04/07 14:45:25	2356
@@ -18,6 +18,7 @@
     val mkErrStream : string -> err_stream
 
     val anyErrors : err_stream -> bool
+    val anyWarnings : err_stream -> bool
     val sourceFile : err_stream -> string
     val sourceMap : err_stream -> AntlrStreamPos.sourcemap
 
@@ -90,6 +91,7 @@
 	  }
 
     fun anyErrors (ES{numErrors, ...}) = (!numErrors > 0)
+    fun anyWarnings (ES{numWarnings, ...}) = (!numWarnings > 0)
     fun sourceFile (ES{srcFile, ...}) = srcFile
     fun sourceMap (ES{sm, ...}) = sm

<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: Warnings &gt; 0)
     fun sourceFile (ES{srcFile, ...}) = srcFile
     fun sourceMap (ES{sm, ...}) = sm</div>
</div></div>
</body></html>