diff options
| author | Patrick Walton <[email protected]> | 2010-12-12 16:30:34 -0800 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-12-12 16:30:34 -0800 |
| commit | 38ba0e691738981ef0b7302a3b03adbe264bb30d (patch) | |
| tree | 3fc180ecece0f93564f9b54ca8da4a12937e6893 /src/comp/middle | |
| parent | rustc: Propagate types for vector, tuple, record, assignment, and if expressi... (diff) | |
| download | rust-38ba0e691738981ef0b7302a3b03adbe264bb30d.tar.xz rust-38ba0e691738981ef0b7302a3b03adbe264bb30d.zip | |
rustc: Add a definition ID to tag patterns
Diffstat (limited to 'src/comp/middle')
| -rw-r--r-- | src/comp/middle/fold.rs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/comp/middle/fold.rs b/src/comp/middle/fold.rs index 521b433e..5a03bc88 100644 --- a/src/comp/middle/fold.rs +++ b/src/comp/middle/fold.rs @@ -149,6 +149,7 @@ type ast_fold[ENV] = (fn(&ENV e, &span sp, ident i, vec[@pat] args, + option.t[ast.variant_def] d, ann a) -> @pat) fold_pat_tag, @@ -344,12 +345,12 @@ fn fold_pat[ENV](&ENV env, ast_fold[ENV] fld, @ast.pat p) -> @ast.pat { case (ast.pat_bind(?id, ?did, ?t)) { ret fld.fold_pat_bind(env_, p.span, id, did, t); } - case (ast.pat_tag(?id, ?pats, ?t)) { + case (ast.pat_tag(?id, ?pats, ?d, ?t)) { let vec[@ast.pat] ppats = vec(); for (@ast.pat pat in pats) { ppats += vec(fold_pat(env_, fld, pat)); } - ret fld.fold_pat_tag(env_, p.span, id, ppats, t); + ret fld.fold_pat_tag(env_, p.span, id, ppats, d, t); } } } @@ -864,8 +865,8 @@ fn identity_fold_pat_bind[ENV](&ENV e, &span sp, ident i, def_id did, ann a) } fn identity_fold_pat_tag[ENV](&ENV e, &span sp, ident i, vec[@pat] args, - ann a) -> @pat { - ret @respan(sp, ast.pat_tag(i, args, a)); + option.t[ast.variant_def] d, ann a) -> @pat { + ret @respan(sp, ast.pat_tag(i, args, d, a)); } @@ -1041,7 +1042,7 @@ fn new_identity_fold[ENV]() -> ast_fold[ENV] { fold_pat_wild = bind identity_fold_pat_wild[ENV](_,_,_), fold_pat_bind = bind identity_fold_pat_bind[ENV](_,_,_,_,_), - fold_pat_tag = bind identity_fold_pat_tag[ENV](_,_,_,_,_), + fold_pat_tag = bind identity_fold_pat_tag[ENV](_,_,_,_,_,_), fold_stmt_decl = bind identity_fold_stmt_decl[ENV](_,_,_), fold_stmt_ret = bind identity_fold_stmt_ret[ENV](_,_,_), |