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
|
