;;
let document =
- if Filename.check_suffix !Options.input_file ".srx"
+ if Filename.check_suffix !Options.input_file ".g.bin" then
+ let g = time ~msg:"Loading grammar" (Grammar.load !Options.input_file) true in
+ begin
+ ignore(g);
+ exit 0
+ end
+ else if Filename.check_suffix !Options.input_file ".srx"
then
time
~msg:"Loading file"