src/Pure/ML-Systems/proper_int.ML
changeset 50801 b8ff6d1ee56c
parent 45067 d5156aa8556d
child 52277 2bbeab01c0ea
equal deleted inserted replaced
50800:c0fb2839d1a9 50801:b8ff6d1ee56c
   255 end;
   255 end;
   256 
   256 
   257 
   257 
   258 (* Sockets *)
   258 (* Sockets *)
   259 
   259 
   260 structure Socket =
       
   261 struct
       
   262   open Socket;
       
   263   fun recvVec (a, b) = Socket.recvVec (a, dest_int b);
       
   264   fun sendVec a = mk_int (Socket.sendVec a);
       
   265 end;
       
   266 
       
   267 structure INetSock =
   260 structure INetSock =
   268 struct
   261 struct
   269   open INetSock;
   262   open INetSock;
   270   fun toAddr (a, b) = INetSock.toAddr (a, dest_int b);
   263   fun toAddr (a, b) = INetSock.toAddr (a, dest_int b);
   271   fun fromAddr adr = let val (a, b) = INetSock.fromAddr adr in (a, mk_int b) end;
   264   fun fromAddr adr = let val (a, b) = INetSock.fromAddr adr in (a, mk_int b) end;