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/walk.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml
index 3486bb16..a8d74cad 100644
--- a/src/boot/me/walk.ml
+++ b/src/boot/me/walk.ml
@@ -652,10 +652,10 @@ and walk_pat
     (v:visitor)
     (p:Ast.pat)
     : unit =
-  let rec walk p =
+  let walk p =
     match p with
         Ast.PAT_lit lit -> walk_lit v lit
-      | Ast.PAT_tag (_, pats) -> Array.iter walk pats
+      | Ast.PAT_tag (_, pats) -> Array.iter (walk_pat v) pats
       | Ast.PAT_slot (si, _) -> walk_slot_identified v si
       | Ast.PAT_wild -> ()
   in
-- 
cgit v1.2.3