message (sprintf "execution of %s started:" fname);
let script =
let ic = open_in fname in
- let ast = snd (CicTextualParser2.parse_script (Stream.of_channel ic)) in
+ let ast =
+ try
+ snd (CicTextualParser2.parse_script (Stream.of_channel ic))
+ with
+ exn ->
+ error (explain exn);
+ assert false (* should be something like (Unix.exit 1) *)
+ in
close_in ic;
ast
in