diff options
| author | Patrick Walton <[email protected]> | 2011-03-03 17:09:20 -0800 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2011-03-03 17:09:20 -0800 |
| commit | 04a0a6fbef0cc7c3c89fbbbeff68ab2c999d9592 (patch) | |
| tree | 27b3416d8a0a1aa31f12c30269c4c25c6e4a9fb7 /src/comp/middle/ty.rs | |
| parent | rustc: Add support for folding over tag types (diff) | |
| download | rust-04a0a6fbef0cc7c3c89fbbbeff68ab2c999d9592.tar.xz rust-04a0a6fbef0cc7c3c89fbbbeff68ab2c999d9592.zip | |
Revert "rustc: Add support for folding over tag types" as it's unnecessary. Oops.
Diffstat (limited to 'src/comp/middle/ty.rs')
| -rw-r--r-- | src/comp/middle/ty.rs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index a44cdb4d..c85892f2 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -294,7 +294,6 @@ fn ty_to_str(&@t typ) -> str { type ty_fold = state obj { fn fold_simple_ty(@t ty) -> @t; - fn fold_tag_ty(@t ty) -> @t; }; fn fold_ty(ty_fold fld, @t ty) -> @t { @@ -323,8 +322,7 @@ fn fold_ty(ty_fold fld, @t ty) -> @t { for (@t subty in subtys) { new_subtys += vec(fold_ty(fld, subty)); } - auto typ = rewrap(ty, ty_tag(tid, new_subtys)); - ret fld.fold_tag_ty(typ); + ret rewrap(ty, ty_tag(tid, new_subtys)); } case (ty_tup(?subtys)) { let vec[@t] new_subtys = vec(); @@ -613,8 +611,6 @@ fn count_ty_params(@t ty) -> uint { } ret ty; } - - fn fold_tag_ty(@t ty) -> @t { ret ty; } } let vec[ast.def_id] param_ids_inner = vec(); @@ -1433,8 +1429,6 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler) } } } - - fn fold_tag_ty(@t typ) -> @t { ret typ; } } ret ty.fold_ty(folder(bindings), typ); @@ -1554,8 +1548,6 @@ fn replace_type_params(@t typ, hashmap[ast.def_id,@t] param_map) -> @t { } } } - - fn fold_tag_ty(@t typ) -> @t { ret typ; } } auto replacer = param_replacer(param_map); ret fold_ty(replacer, typ); |