diff options
| author | Graydon Hoare <[email protected]> | 2010-08-19 18:41:55 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-08-19 18:42:32 -0700 |
| commit | b34cb1b631d7979307bec26905a1a9298ec4f17a (patch) | |
| tree | 0d3f0bf4330e64795297f45227040f6f73980edd /src/boot/me/semant.ml | |
| parent | Make _io.buf_reader read more than 0 bytes at a time. (diff) | |
| download | rust-b34cb1b631d7979307bec26905a1a9298ec4f17a.tar.xz rust-b34cb1b631d7979307bec26905a1a9298ec4f17a.zip | |
Fix a bunch of typestate bugs in handling if and while statement wirings.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index a4b02806..7d1b21ef 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -98,6 +98,7 @@ type ctxt = ctxt_all_cast_types: (node_id,Ast.ty) Hashtbl.t; ctxt_all_type_items: (node_id,Ast.ty) Hashtbl.t; ctxt_all_stmts: (node_id,Ast.stmt) Hashtbl.t; + ctxt_all_blocks: (node_id,Ast.block') Hashtbl.t; ctxt_item_files: (node_id,filename) Hashtbl.t; ctxt_all_lvals: (node_id,Ast.lval) Hashtbl.t; ctxt_call_lval_params: (node_id,Ast.ty array) Hashtbl.t; @@ -183,6 +184,7 @@ let new_ctxt sess abi crate = ctxt_all_cast_types = Hashtbl.create 0; ctxt_all_type_items = Hashtbl.create 0; ctxt_all_stmts = Hashtbl.create 0; + ctxt_all_blocks = Hashtbl.create 0; ctxt_item_files = crate.Ast.crate_files; ctxt_all_lvals = Hashtbl.create 0; ctxt_all_defns = Hashtbl.create 0; |