From bc286c7f2ceb5c3d2e06ec72f78d28842f94ef65 Mon Sep 17 00:00:00 2001
From: Roy Frostig <rfrostig@mozilla.com>
Date: Thu, 24 Jun 2010 08:13:32 -0700
Subject: Resolve and typecheck patterns in pattern alt.

---
 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 bca15136..a7ff502c 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -3757,7 +3757,8 @@ let trans_visitor
               emit (Il.jmp Il.JNE Il.CodeNone);
               [ next_jump ]
 
-          | Ast.PAT_tag (ident, pats) ->
+          | Ast.PAT_tag (tag_namei, pats) ->
+              let tag_name = tag_namei.node in
               let ty_tag =
                 match ty with
                     Ast.TY_tag tag_ty -> tag_ty
@@ -3765,7 +3766,6 @@ let trans_visitor
                   | _ -> bug cx "expected tag type"
               in
               let tag_keys = sorted_htab_keys ty_tag in
-              let tag_name = Ast.NAME_base (Ast.BASE_ident ident) in
               let tag_number = arr_idx tag_keys tag_name in
               let ty_tup = Hashtbl.find ty_tag tag_name in
 
-- 
cgit v1.2.3