1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
13
(* Reverses the lines contained into a file.
14
Simple recursive version; reads the data from stdin. *)
15
let rec reverse_input ic =
17
let l = input_line ic in
23
if !Sys.interactive then () else reverse_input stdin;;