From: Jonathan R. <jon...@gm...> - 2005-11-30 01:23:04
|
Curiously, I'd like to add, using read_byte repetitively, the exception is raised properly: # while true do Printf.printf "%d " (read_byte i) done;; 104 101 108 108 111 32 119 111 114 108 100 Exception: IO.No_more_input. Jonathan |