From 241305caab232b04666704dc6853c41312cd283a Mon Sep 17 00:00:00 2001
From: Roy Frostig <rfrostig@mozilla.com>
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/walk.ml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'src/boot/me/walk.ml')

diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml
index 30b30e32..57864f99 100644
--- a/src/boot/me/walk.ml
+++ b/src/boot/me/walk.ml
@@ -655,15 +655,17 @@ and walk_pat
   let walk p =
     match p with
         Ast.PAT_lit lit -> walk_lit v lit
-      | Ast.PAT_tag (_, pats) -> Array.iter (walk_pat v) pats
+      | Ast.PAT_tag (lv, pats) ->
+          walk_lval v lv;
+          Array.iter (walk_pat v) pats
       | Ast.PAT_slot (si, _) -> walk_slot_identified v si
       | Ast.PAT_wild -> ()
   in
-  walk_bracketed
-    v.visit_pat_pre
-    (fun _ -> walk p)
-    v.visit_pat_post
-    p
+    walk_bracketed
+      v.visit_pat_pre
+      (fun _ -> walk p)
+      v.visit_pat_post
+      p
 
 
 and walk_block
-- 
cgit v1.2.3