diff options
| -rw-r--r-- | src/comp/middle/typeck.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs index 0fd55d5d..b6c47c5e 100644 --- a/src/comp/middle/typeck.rs +++ b/src/comp/middle/typeck.rs @@ -225,6 +225,13 @@ fn ast_ty_to_ty(ty_getter getter, &@ast.ty ast_ty) -> @ty { case (ast.ty_str) { sty = ty_str; } case (ast.ty_box(?t)) { sty = ty_box(ast_ty_to_ty(getter, t)); } case (ast.ty_vec(?t)) { sty = ty_vec(ast_ty_to_ty(getter, t)); } + case (ast.ty_tup(?fields)) { + let vec[tup(bool,@ty)] flds = vec(); + for (tup(bool, @ast.ty) field in fields) { + flds += tup(field._0, ast_ty_to_ty(getter, field._1)); + } + sty = ty_tup(flds); + } case (ast.ty_fn(?inputs, ?output)) { auto f = bind ast_arg_to_arg(getter, _); @@ -244,6 +251,10 @@ fn ast_ty_to_ty(ty_getter getter, &@ast.ty ast_ty) -> @ty { sty = getter(def_id).struct; cname = some(path_to_str(path)); } + + case (_) { + fail; + } } ret @rec(struct=sty, cname=cname); |