---

yaml
---
r: 679
b: refs/heads/master
c: a4a8bea
h: refs/heads/master
i:
  677: 45e62bf
  675: ee85cca
  671: bb43bf5
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1676a389be5ea1c11702b1f01222fb4175fb0513
+refs/heads/master: a4a8bea3ccb7c6ada67d50bb9e8e35ddf9f72195

trunk/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;