From: Nicolas C. <war...@fr...> - 2004-04-01 09:22:49
|
Hi list, I just updated the IO module with the following functions : exception Overflow of string val read_byte : (char,'a) input -> int val read_string : (char,'a) input -> string val read_ui16 : (char,'a) input -> int val read_ui32 : (char,'a) input -> int val read_i16 : (char,'a) input -> int val write_byte : (char,'a,'b) output -> int -> unit val write_ui32 : (char,'a,'b) output -> int -> unit val write_ui16 : (char,'a,'b) output -> int -> unit val write_i16 : (char,'a,'b) output -> int -> unit val write_string : (char,string,'a) output -> string -> unit and also defined the useful : type stdin = (char, string) input type 'a stdout = (char, string,'a) output Now available on the CVS for review and comments. Regards, Nicolas Cannasse |