From a4a8bea3ccb7c6ada67d50bb9e8e35ddf9f72195 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Thu, 16 Sep 2010 11:06:41 -0700 Subject: Add ctxt_tag_containment to the Semant context --- src/boot/me/semant.ml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src') diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 42df903b..9de22f1e 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -111,6 +111,10 @@ type ctxt = ctxt_all_lvals: (node_id,Ast.lval) Hashtbl.t; ctxt_call_lval_params: (node_id,Ast.ty array) Hashtbl.t; + (* Each pair (a, b) in this table indicates that tag a contains all the + * tags in the list b. *) + ctxt_tag_containment: (opaque_id, opaque_id Queue.t) Hashtbl.t; + (* definition id --> definition *) ctxt_all_defns: (node_id,defn) Hashtbl.t; @@ -199,6 +203,9 @@ let new_ctxt sess abi crate = ctxt_all_lvals = Hashtbl.create 0; ctxt_all_defns = Hashtbl.create 0; ctxt_call_lval_params = Hashtbl.create 0; + + ctxt_tag_containment = Hashtbl.create 0; + ctxt_lval_base_id_to_defn_base_id = Hashtbl.create 0; ctxt_required_items = crate.Ast.crate_required; ctxt_required_syms = crate.Ast.crate_required_syms; -- cgit v1.2.3