[MLton-commit] r6330

[Vesa Karvonen]

Changed the reader function to unwrap the stream (which is embedded in a
universal type during parsing).

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml	2008-01-15 17:19:32 UTC (rev 6329)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml	2008-01-15 19:06:28 UTC (rev 6330)
@@ -305,9 +305,9 @@
        case Univ.Iso.new ()
         of (to, from) =>
            INP ([(l, map to t)],
-             fn ars => case ArraySlice.getItem ars
-                        of SOME (SOME u, ars) => (from u, ars)
-                         | _                  => fail "impossible")
+                fn ars => case ArraySlice.getItem ars
+                           of SOME (SOME u, ars) => (from u, ars)
+                            | _                  => fail "impossible")
 
    fun C c p s = if s = Generics.Con.toString c then SOME p else NONE
 
@@ -326,7 +326,7 @@
         of pA => fn rC => fn s =>
            case Univ.Iso.new ()
             of (to, from) =>
-               Sum.map (from, id)
+               Sum.map (from, fn (v, ((_, s), _)) => (v, from s))
                        (parse (ignored >> pA)
                               ((Reader.mapState (from, to) rC, to s),
                                ()))