--- sml/trunk/src/cm/smlfile/skel-io.sml	1999/07/27 14:07:00	390
+++ sml/trunk/src/cm/smlfile/skel-io.sml	1999/07/30 07:23:56	391
@@ -27,6 +27,7 @@
     exception Format = UU.Format
 
     val s2b = Byte.stringToBytes
+    val b2s = Byte.bytesToString
     val b2c = Byte.byteToChar
 
     val version = "Skeleton 2\n"
@@ -83,12 +84,7 @@
 
     fun read_decl s = let
 
-	fun rd () =
-	    case BinIO.input1 s of
-		SOME w8 => b2c w8
-	      | NONE => raise Format
-
-	val session = UU.mkSession rd
+	val session = UU.mkSession (UU.stringGetter (b2s (BinIO.inputAll s)))
 
 	val symbol = UU.r_symbol session
 	fun list m r = UU.r_list session m r

<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: b2s (BinIO.inputAll s)))
 
 	val symbol = UU.r_symbol session
 	fun list m r = UU.r_list session m r</div>
</div></div>
</body></html>