OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Better representation of tag containment, which will allow us to discern backreferences

Browse Source
This commit is contained in:
Patrick Walton 2010-09-16 11:28:55 -07:00
parent a4a8bea3cc
commit 01a76e21a6
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/boot/me/semant.ml
View File

@ -88,6 +88,11 @@ type tag_info =
{ tag_idents: (Ast.ident, (int * node_id * Ast.ty_tup)) Hashtbl.t;
tag_nums: (int, (Ast.ident * node_id * Ast.ty_tup)) Hashtbl.t; }
type tag_graph_node = {
mutable tgn_index: int option;
tgn_children: opaque_id Queue.t;
}
type ctxt =
{ ctxt_sess: Session.sess;
ctxt_frame_args: (node_id,node_id list) Hashtbl.t;
@ -111,9 +116,8 @@ 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;
(* A directed graph that encodes the containment relation among tags. *)
ctxt_tag_containment: (opaque_id, tag_graph_node) Hashtbl.t;
(* definition id --> definition *)
ctxt_all_defns: (node_id,defn) Hashtbl.t;