| BagEntity entity -> {st with bagc = count BagO.count_entity st.bagc entity}
let export_entity si g = function
- | BrgEntity entity -> G.export_entity BrgO.export_entry si g entity
+ | BrgEntity entity -> G.old_export_entity BrgO.export_entry si g entity
| BagEntity _ -> ()
let type_check f st si g k =
let main =
try
- let version_string = "Helena 0.8.0 M - September 2009" in
+ let version_string = "Helena 0.8.1 M - September 2009" in
let stage = ref 3 in
let moch = ref None in
let meta = ref false in
let process = ref false in
let use_cover = ref true in
let si = ref false in
+ let cc = ref false in
let export = ref false in
let graph = ref (H.graph_of_string C.err C.start "Z2") in
let set_hierarchy s =
let help_S = "<number> set summary level (see above)" in
let help_V = " show version information" in
- let help_c = " disable initial segment of URI hierarchy" in
+ let help_c = " output conversion constraints" in
let help_h = "<string> set type hierarchy (default: Z2)" in
let help_i = " show local references by index" in
let help_j = " show URI of processed kernel objects" in
let help_k = "<string> set kernel version (default: brg)" in
let help_m = " output intermediate representation (HAL)" in
let help_p = " preprocess Automath source" in
- let help_u = " activate sort inclusion" in
+ let help_r = " disable initial segment of URI hierarchy" in
let help_s = "<number> set translation stage (see above)" in
+ let help_u = " activate sort inclusion" in
let help_x = " export kernel objects (XML)" in
L.box 0; L.box_err ();
H.set_sorts ignore ["Set"; "Prop"] 0;
Arg.parse [
("-S", Arg.Int set_summary, help_S);
("-V", Arg.Unit print_version, help_V);
- ("-c", Arg.Clear use_cover, help_c);
+ ("-c", Arg.Set cc, help_c);
("-h", Arg.String set_hierarchy, help_h);
("-i", Arg.Set O.indexes, help_i);
("-j", Arg.Set progress, help_j);
("-k", Arg.String set_kernel, help_k);
("-m", Arg.Set meta, help_m);
("-p", Arg.Set process, help_p);
- ("-u", Arg.Set si, help_u);
+ ("-r", Arg.Clear use_cover, help_r);
("-s", Arg.Int set_stage, help_s);
+ ("-u", Arg.Set si, help_u);
("-x", Arg.Set export, help_x)
] read_file help;
with BagT.TypeError msg -> bag_error "Type Error" msg