--- smlsharp-0.20/src/lib/basis/main/SOCKET.sig.mismatch	2007-05-15 19:39:58.000000000 +0900
+++ smlsharp-0.20/src/lib/basis/main/SOCKET.sig	2007-05-15 19:40:40.000000000 +0900
@@ -141,11 +141,11 @@ signature SYNCHRONOUS_SOCKET =
 			-> int
 
     val recvVecFrom  : ('a, dgram) sock * int
-			-> Word8Vector.vector * 'b sock_addr
+			-> Word8Vector.vector * 'a sock_addr
     val recvArrFrom  : ('a, dgram) sock * Word8ArraySlice.slice
 			-> int * 'a sock_addr
     val recvVecFrom' : ('a, dgram) sock * int * in_flags
-			-> Word8Vector.vector * 'b sock_addr
+			-> Word8Vector.vector * 'a sock_addr
     val recvArrFrom' : ('a, dgram) sock * Word8ArraySlice.slice * in_flags
 			-> int * 'a sock_addr
   end
@@ -187,11 +187,11 @@ signature SOCKET =
 			-> int option
 
     val recvVecFromNB: ('a, dgram) sock * int
-			-> (Word8Vector.vector * 'b sock_addr) option
+			-> (Word8Vector.vector * 'a sock_addr) option
     val recvArrFromNB: ('a, dgram) sock * Word8ArraySlice.slice
 			-> (int * 'a sock_addr) option
     val recvVecFromNB':('a, dgram) sock * int * in_flags
-			-> (Word8Vector.vector * 'b sock_addr) option
+			-> (Word8Vector.vector * 'a sock_addr) option
     val recvArrFromNB':('a, dgram) sock * Word8ArraySlice.slice * in_flags
 			-> (int * 'a sock_addr) option
   end
--- smlsharp-0.20/basis_compat/main/socket.sig.mismatch	2007-05-15 19:39:04.000000000 +0900
+++ smlsharp-0.20/basis_compat/main/socket.sig	2007-05-15 19:39:23.000000000 +0900
@@ -91,11 +91,11 @@ signature SOCKET =
     val recvArr' : ('a,active stream) sock * Word8Array.array buf * in_flags
                    -> int
     val recvVecFrom : ('a,dgram) sock * int
-                      -> Word8Vector.vector * 'b sock_addr
+                      -> Word8Vector.vector * 'a sock_addr
     val recvArrFrom : ('a,dgram) sock * {buf:Word8Array.array, i:int}
                       -> int * 'a sock_addr
     val recvVecFrom' : ('a,dgram) sock * int * in_flags
-                       -> Word8Vector.vector * 'b sock_addr
+                       -> Word8Vector.vector * 'a sock_addr
     val recvArrFrom' : ('a,dgram) sock * {buf:Word8Array.array, i:int}
                        * in_flags
                        -> int * 'a sock_addr