[MLton-commit] r6934

[Vesa Karvonen]

Fixed interoperability bug caused by having different estimated sizes for
intInf and fixed precision integer types.  SML doesn't fix the precision
of the int type, which can be either a fixed precision integer type for
some precision or an arbitrary precision integer type.  Therefore intInf
and fixed precision integer types must have the exact same encoding,
including the estimated size, which has an effect on the automatically
introduced sharing.

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

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

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/pickle.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/pickle.sml	2008-10-14 06:44:22 UTC (rev 6933)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/pickle.sml	2008-10-14 15:14:59 UTC (rev 6934)
@@ -440,7 +440,7 @@
              in
                 rd size >>= (fn 0 => return 0 | n => lp ([], n))
              end,
-             sz = NONE : OptInt.t}
+             sz = SOME 4}
 
       val exns : {rd : String.t -> Exn.t I.monad Option.t,
                   wr : Exn.t -> Unit.t O.monad Option.t} Buffer.t =