let default_gc = Gc.get()
let tuned_gc = { default_gc with
- Gc.minor_heap_size = 32*1024*1024;
- Gc.major_heap_increment = 8*1024*1024;
- Gc.max_overhead = 1000000;
- Gc.space_overhead = 100;
+ Gc.minor_heap_size = 32*1024*1024;
+ Gc.major_heap_increment = 8*1024*1024;
+ Gc.max_overhead = 1000000;
+ Gc.space_overhead = 100;
}
let mk_runtime run auto doc arg count print outfile =
;;
let document =
- if Filename.check_suffix !Options.input_file ".g.bin" then
+ if Filename.check_suffix !Options.input_file ".g" then
+ let g = Grammar2.parse !Options.input_file in
+ let () = Grammar2.save g "/tmp/test.g" in
+ let g = Grammar2.load "/tmp/test.g" in
+ ignore g;
+ exit 3
+
+ else if Filename.check_suffix !Options.input_file ".g.bin" then
let g = time ~msg:"Loading grammar" (Grammar.load !Options.input_file) true in
begin
(* Todo Factorise with main *)