diff options
| author | Roy Frostig <[email protected]> | 2010-06-24 08:13:32 -0700 |
|---|---|---|
| committer | Roy Frostig <[email protected]> | 2010-06-24 08:13:32 -0700 |
| commit | bc286c7f2ceb5c3d2e06ec72f78d28842f94ef65 (patch) | |
| tree | eac0b9f72ce3a7c97440bc76f38f5159ecc2cdfb /src/boot/me/walk.ml | |
| parent | Update README to point to github, test email notification. (diff) | |
| download | rust-bc286c7f2ceb5c3d2e06ec72f78d28842f94ef65.tar.xz rust-bc286c7f2ceb5c3d2e06ec72f78d28842f94ef65.zip | |
Resolve and typecheck patterns in pattern alt.
Diffstat (limited to 'src/boot/me/walk.ml')
| -rw-r--r-- | src/boot/me/walk.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |