diff options
| author | Rafael Avila de Espindola <espindola@dream.(none)> | 2011-02-10 18:39:55 -0500 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-02-10 16:22:08 -0800 |
| commit | 0d27eb13415d442a4f643c8cf4c0d839c0460744 (patch) | |
| tree | 82b085a364409e53b07c8a58f342336d96c5c486 /src/comp/middle/ty.rs | |
| parent | Un-XFAIL generic-derived-type.rs. (diff) | |
| download | rust-0d27eb13415d442a4f643c8cf4c0d839c0460744.tar.xz rust-0d27eb13415d442a4f643c8cf4c0d839c0460744.zip | |
Add type checking for native types.
Diffstat (limited to 'src/comp/middle/ty.rs')
| -rw-r--r-- | src/comp/middle/ty.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index c3b0e687..6dd229fb 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -43,6 +43,7 @@ tag sty { ty_local(ast.def_id); // type of a local var ty_param(ast.def_id); // fn type param ty_type; + ty_native; // TODO: ty_fn_arg(@t), for a possibly-aliased function argument } @@ -286,6 +287,7 @@ fn fold_ty(ty_fold fld, @t ty) -> @t { case (ty_str) { ret fld.fold_simple_ty(ty); } case (ty_tag(_)) { ret fld.fold_simple_ty(ty); } case (ty_type) { ret fld.fold_simple_ty(ty); } + case (ty_native) { ret fld.fold_simple_ty(ty); } case (ty_box(?subty)) { ret rewrap(ty, ty_box(fold_ty(fld, subty))); } |