[Caml-list] Is there a way to abort Stream.iter ?

[Jon Kleiser <jon.kleiser@ceres.no>]

In my little program here <http://folk.uio.no/jkleiser/ocaml/read_vec.ml> I’m reading and processing a text file by doing this:

let process_lines lines =
  let start_time = Sys.time () in
  Stream.iter process_line lines;
  let finish_time = Sys.time () in
  Printf.printf "\nTime used: %f secs\n" (finish_time -. start_time)

. . . where the ‘lines’ input is coming from ‘(line_stream_of_channel in_channel)’.

Is there a way to abort the Stream.iter processing based on some condition detected by the ‘process_line’ function? Could it be done by throwing an exception? Maybe I should use something else than Stream.iter ?

/Jon