diff options
Diffstat (limited to 'perl_checker.src/perl_checker.ml')
-rw-r--r-- | perl_checker.src/perl_checker.ml | 30 |
1 files changed, 17 insertions, 13 deletions
diff --git a/perl_checker.src/perl_checker.ml b/perl_checker.src/perl_checker.ml index cc5bb19..fbb3f4d 100644 --- a/perl_checker.src/perl_checker.ml +++ b/perl_checker.src/perl_checker.ml @@ -1,18 +1,22 @@ open Types let _ = - let file = try Sys.argv.(2) with _ -> try Sys.argv.(1) with _ -> "/tmp/t.pl" in - let lexbuf = Lexing.from_channel (open_in file) in - let _ = + let args = List.tl (Array.to_list Sys.argv) in + List.iter (fun file -> try - Info.start_a_new_file file ; - if false then - let t = Lexer.lexbuf2list Lexer.token lexbuf in - let _,_ = t, t in "" - else - Parser.prog Lexer.token lexbuf - with Failure s -> ( - prerr_endline s ; - exit 1 + let lexbuf = Lexing.from_channel (open_in file) in + let _ = + try + Info.start_a_new_file file ; + if false then + let t = Lexer.lexbuf2list Lexer.token lexbuf in + let _,_ = t, t in "" + else + Parser.prog Lexer.token lexbuf + with Failure s -> ( + prerr_endline s ; + exit 1 ) in - () + () + with _ -> prerr_endline ("bad file " ^ file) + ) args |