module BO = BrgOutput
module BR = BrgReduction
module BU = BrgUntrusted
+module ZD = BagCrg
module ZO = BagOutput
module ZT = BagType
module ZU = BagUntrusted
let xlate_entity entity = match !G.kernel, entity with
| G.Brg, CrgEntity e ->
let f e = (BrgEntity e) in E.xlate f BD.brg_of_crg e
+ | G.Bag, CrgEntity e ->
+ let f e = (BagEntity e) in E.xlate f ZD.bag_of_crg e
| _, entity -> entity
let pp_progress e =
let export_entity = function
| CrgEntity e -> XL.export_entity XD.export_term e
| BrgEntity e -> XL.export_entity BO.export_term e
- | BagEntity _ -> ()
+ | BagEntity e -> XL.export_entity ZO.export_term e
let type_check st k =
let brg_err msg = brg_error "Type Error" msg; failwith "Interrupted" in
let main =
try
- let version_string = "Helena 0.8.1 M - November 2010" in
+ let version_string = "Helena 0.8.2 M - January 2011" in
let print_version () = L.warn (version_string ^ "\n"); exit 0 in
let set_hierarchy s =
if H.set_graph s then () else