Add expr_spawn, spawn parsing, folding, typechecking, ty_task

1 files changed, 18 insertions, 0 deletions

diff --git a/src/comp/middle/fold.rs b/src/comp/middle/fold.rs
index 76715a28..3756f987 100644
--- a/src/comp/middle/fold.rs
+++ b/src/comp/middle/fold.rs
@@ -91,6 +91,11 @@ type ast_fold[ENV] =
          ann a) -> @expr)                         fold_expr_bind,
 
      (fn(&ENV e, &span sp,
+         ast.spawn_dom dom, option.t[str] name,
+         @expr f, vec[@expr] args,
+         ann a) -> @expr)                         fold_expr_spawn,
+
+     (fn(&ENV e, &span sp,
          ast.binop,
          @expr lhs, @expr rhs,
          ann a) -> @expr)                         fold_expr_binary,
@@ -573,6 +578,12 @@ fn fold_expr[ENV](&ENV env, ast_fold[ENV] fld, &@expr e) -> @expr {
             ret fld.fold_expr_bind(env_, e.span, ff, aargs_opt, t);
         }
 
+        case (ast.expr_spawn(?dom, ?name, ?f, ?args, ?t)) {
+            auto ff = fold_expr(env_, fld, f);
+            auto aargs = fold_exprs(env_, fld, args);
+            ret fld.fold_expr_spawn(env_, e.span, dom, name, ff, aargs, t);
+        }
+
         case (ast.expr_binary(?op, ?a, ?b, ?t)) {
             auto aa = fold_expr(env_, fld, a);
             auto bb = fold_expr(env_, fld, b);
@@ -1168,6 +1179,12 @@ fn identity_fold_expr_bind[ENV](&ENV env, &span sp, @expr f,
     ret @respan(sp, ast.expr_bind(f, args_opt, a));
 }
 
+fn identity_fold_expr_spawn[ENV](&ENV env, &span sp,
+                                 ast.spawn_dom dom, option.t[str] name,
+                                 @expr f, vec[@expr] args, ann a) -> @expr {
+    ret @respan(sp, ast.expr_spawn(dom, name, f, args, a));
+}
+
 fn identity_fold_expr_binary[ENV](&ENV env, &span sp, ast.binop b,
                                   @expr lhs, @expr rhs,
                                   ann a) -> @expr {
@@ -1562,6 +1579,7 @@ fn new_identity_fold[ENV]() -> ast_fold[ENV] {
          fold_expr_rec    = bind identity_fold_expr_rec[ENV](_,_,_,_,_),
          fold_expr_call   = bind identity_fold_expr_call[ENV](_,_,_,_,_),
          fold_expr_bind   = bind identity_fold_expr_bind[ENV](_,_,_,_,_),
+         fold_expr_spawn  = bind identity_fold_expr_spawn[ENV](_,_,_,_,_,_,_),
          fold_expr_binary = bind identity_fold_expr_binary[ENV](_,_,_,_,_,_),
          fold_expr_unary  = bind identity_fold_expr_unary[ENV](_,_,_,_,_),
          fold_expr_lit    = bind identity_fold_expr_lit[ENV](_,_,_,_),