diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 79ed4150..2697c8b5 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1368,7 +1368,7 @@ let trans_visitor and get_obj_vtbl (id:node_id) : Il.operand = let obj = match Hashtbl.find cx.ctxt_all_defns id with - DEFN_item { Ast.decl_item=Ast.MOD_ITEM_obj obj} -> obj + DEFN_item { Ast.decl_item=Ast.MOD_ITEM_obj obj; _} -> obj | _ -> bug () "Trans.get_obj_vtbl on non-obj referent" in trans_crate_rel_data_operand (DATA_obj_vtbl id) @@ -4755,8 +4755,8 @@ let trans_visitor match lval with Ast.LVAL_ext (_, (Ast.COMP_named (Ast.COMP_ident id))) | Ast.LVAL_ext (_, (Ast.COMP_named (Ast.COMP_app (id, _)))) - | Ast.LVAL_base { node = Ast.BASE_ident id } - | Ast.LVAL_base { node = Ast.BASE_app (id, _) } -> id + | Ast.LVAL_base { node = Ast.BASE_ident id; _ } + | Ast.LVAL_base { node = Ast.BASE_app (id, _); _ } -> id | _ -> bug cx "expected lval ending in ident" in let ttag = |