module G = Library
module BrgO = BrgOutput
module BrgR = BrgReduction
+module BrgT = BrgType
module BrgU = BrgUntrusted
module MBag = MetaBag
module BagO = BagOutput
-module BagR = BagReduction
+module BagT = BagType
module BagU = BagUntrusted
type status = {
L.error BagO.specs (L.Warn s :: L.Loc :: msg); flush ()
let brg_error s msg =
- L.error BrgO.specs (L.Warn s :: L.Loc :: msg); flush ()
+ L.error BrgR.specs (L.Warn s :: L.Loc :: msg); flush ()
let process_item f st =
let f ast = f {st with ast = ast} in
let main =
try
- let version_string = "Helena 0.8.0 M - August 2009" in
+ let version_string = "Helena 0.8.0 M - September 2009" in
let stage = ref 3 in
let moch = ref None in
let meta = ref false in
("-s", Arg.Int set_stage, help_s);
("-x", Arg.Set export, help_x)
] read_file help;
-with BagR.TypeError msg -> bag_error "Type Error" msg
- | BrgR.TypeError msg -> brg_error "Type Error" msg
+with BagT.TypeError msg -> bag_error "Type Error" msg
+ | BrgT.TypeError msg -> brg_error "Type Error" msg