[MLton-commit] r5986

[Vesa Karvonen]

Type constraint for SML/NJ.
----------------------------------------------------------------------

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	2007-09-01 12:57:23 UTC (rev 5985)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/pickle.sml	2007-09-01 16:56:32 UTC (rev 5986)
@@ -188,7 +188,7 @@
    val char = {rd = I.read, wr = O.write, sz = SOME 1}
    val word8 = iso' id char word8Ichar
    val intAs8 = iso' id char (swap Char.isoInt)
-   val intAs0 = iso' id unit (ignore, const 0)
+   val intAs0 : Int.t t = iso' id unit (ignore, const 0)
 
    (* Pickles a positive int using a variable length encoding. *)
    val size =