--- branches/vis12/src/compiler/inputs/inputs.sml	2012/10/07 21:14:31	2011
+++ branches/vis12/src/compiler/inputs/inputs.sml	2012/10/24 12:46:03	2056
@@ -82,10 +82,9 @@
       | toString (INP{name, desc=SOME desc, init=SOME v, ...}) =
 	  String.concat[name, "(\"", String.toString desc, "\") = ", initToString v]
 
-    fun imageInfo (INP{init=NONE, ...}) = NONE
-      | imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info
+    fun imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info
       | imageInfo (INP{init=SOME(Image info), ...}) = SOME info
-      | imageInfo _ = raise Fail "imageInfo: not image"
+      | imageInfo _ = NONE
 
   (* type conversion *)
     fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}

<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: )
     fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}</div>
</div></div>
</body></html>