Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Documentation of Pervasives.input #2338
Original bug ID: 10
Full_Name: Norman Ramsey
The documentation for input needs to be improved.
val input : in_channel -> string -> int -> int -> int
The key phrase is ``no more characters were available at that time.''
I would prefer the following wording:
I would have used really_input, except I didn't find a way to figure