\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+module KF = Filename
+
module C = Cps
type uri_generator = string -> string
-type kernel = Crg | Brg | Bag
+type kernel = V4 | V3 | V0
(* interface functions ******************************************************)
-let xdir = ref ""
+let version_string = "Helena 0.8.2 M - December 2014"
+
+let stage = ref 3 (* stage *)
+
+let trace = ref 0 (* trace level *)
+
+let summary = ref false (* log summary information *)
-let kernel = ref Brg
+let xdir = ref "" (* directory for XML output *)
+
+let kernel = ref V3 (* kernel type *)
let si = ref false (* use sort inclusion *)
let debug_lexer = ref false (* output lexer debug information *)
+let ma_dir = ref "" (* directory for grafite output *)
+
+let ma_preamble = ref "" (* location of grafite preamble file *)
+
+let alpha = ref "" (* prefix of numeric identifiers *)
+
let kernel_id () =
let id = match !kernel with
- | Crg -> "crg"
- | Brg -> "brg"
- | Bag -> "bag"
+ | V4 -> "Environment"
+ | V3 -> "Environment_V3"
+ | V0 -> "Environment_V0"
in
- let si = if !si then "-si" else "" in
+ let si = if !si then "_si" else "" in
id ^ si
let get_baseuri () =
- String.concat "/" ["ld:"; kernel_id (); !cover ]
+ String.concat "/" ["ld:"; kernel_id (); !cover; "" ]
let get_mk_uri () =
let bu = get_baseuri () in
- fun s -> bu ^ "/" ^ s ^ ".ld"
+ fun s -> KF.concat bu (s ^ ".ld")
let clear () =
- xdir := ""; kernel := Brg; si := false; cover := "";
+ stage := 3; trace := 0; summary := false;
+ xdir := ""; kernel := V3; si := false; cover := "";
expand := false; indexes := false; icm := 0; unquote := false;
- debug_parser := false; debug_lexer := false
+ debug_parser := false; debug_lexer := false;
+ ma_dir := ""; ma_preamble := ""