aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
diff options
context:
space:
mode:
authorBrian Anderson <[email protected]>2011-03-26 00:53:57 -0400
committerGraydon Hoare <[email protected]>2011-03-28 21:13:53 -0700
commit2b27d12ce1b3babf4adea41d669140019cb80b8a (patch)
treec8e113ccede4de3475be1639de445a761b755ae4 /src/comp/middle/ty.rs
parentAdd 'self' keyword. (diff)
downloadrust-2b27d12ce1b3babf4adea41d669140019cb80b8a.tar.xz
rust-2b27d12ce1b3babf4adea41d669140019cb80b8a.zip
Add expr_spawn, spawn parsing, folding, typechecking, ty_task
Diffstat (limited to 'src/comp/middle/ty.rs')
-rw-r--r--src/comp/middle/ty.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index e22ebcea..f9822d97 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -42,6 +42,7 @@ tag sty {
ty_vec(mt);
ty_port(@t);
ty_chan(@t);
+ ty_task;
ty_tup(vec[mt]);
ty_rec(vec[field]);
ty_fn(ast.proto, vec[arg], @t); // TODO: effect
@@ -756,6 +757,8 @@ fn expr_ty(@ast.expr expr) -> @t {
case (ast.expr_rec(_, _, ?ann)) { ret ann_to_type(ann); }
case (ast.expr_bind(_, _, ?ann)) { ret ann_to_type(ann); }
case (ast.expr_call(_, _, ?ann)) { ret ann_to_type(ann); }
+ case (ast.expr_spawn(_, _, _, _, ?ann))
+ { ret ann_to_type(ann); }
case (ast.expr_binary(_, _, _, ?ann)) { ret ann_to_type(ann); }
case (ast.expr_unary(_, _, ?ann)) { ret ann_to_type(ann); }
case (ast.expr_lit(_, ?ann)) { ret ann_to_type(ann); }