From 1975eef2d0933da3c01faec1cd14bc8fbf6bf146 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Wed, 22 Feb 2012 10:17:10 +0100 Subject: [PATCH] Add grammar loading and indexing. --- src/main.ml | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/src/main.ml b/src/main.ml index b364275..bfbdff9 100644 --- a/src/main.ml +++ b/src/main.ml @@ -13,10 +13,10 @@ let () = init_timer();; 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 = @@ -91,7 +91,14 @@ let () = Options.parse_cmdline() ;; 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 *) -- 2.17.1