[MLton-commit] r6929

[Vesa Karvonen]

Help with type inference for SML/NJ.

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

U   mltonlib/trunk/org/mlton/vesak/rpc-lib/unstable/detail/socket-events.sml

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

Modified: mltonlib/trunk/org/mlton/vesak/rpc-lib/unstable/detail/socket-events.sml
===================================================================
--- mltonlib/trunk/org/mlton/vesak/rpc-lib/unstable/detail/socket-events.sml	2008-10-13 22:42:04 UTC (rev 6928)
+++ mltonlib/trunk/org/mlton/vesak/rpc-lib/unstable/detail/socket-events.sml	2008-10-13 22:42:15 UTC (rev 6929)
@@ -83,10 +83,10 @@
                        | SOME n =>
                          lp (subslice (slice, n, NONE))))
    in
-      val sendArr =
+      val sendArr : Word8ArraySlice.t -> Unit.t monad =
           mk Word8ArraySlice.isEmpty Word8ArraySlice.subslice Socket.sendArrNB
 
-      val sendVec =
+      val sendVec : Word8VectorSlice.t -> Unit.t monad =
           mk Word8VectorSlice.isEmpty Word8VectorSlice.subslice Socket.sendVecNB
    end
 end