From 241305caab232b04666704dc6853c41312cd283a Mon Sep 17 00:00:00 2001 From: Roy Frostig Date: Fri, 25 Jun 2010 00:47:23 -0700 Subject: Resolve and typecheck patterns in pattern alt redux. This time featuring way more correctness. --- src/boot/me/trans.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/me/trans.ml') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 3d23a945..02b8e3f7 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -3761,8 +3761,8 @@ let trans_visitor Ast.PAT_lit lit -> trans_compare Il.JNE (trans_lit lit) (Il.Cell src_cell) - | Ast.PAT_tag (tag_namei, pats) -> - let tag_name = tag_namei.node in + | Ast.PAT_tag (lval, pats) -> + let tag_name = tag_ctor_name_to_tag_name (lval_to_name lval) in let ty_tag = match slot_ty src_slot with Ast.TY_tag tag_ty -> tag_ty -- cgit v1.2.3