Parse port and chan types, constructors, send statements

2 files changed, 44 insertions, 0 deletions

diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs
index 5999388e..694ff448 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -242,6 +242,9 @@ tag expr_ {
     expr_be(@expr);
     expr_log(@expr);
     expr_check_expr(@expr);
+    expr_port(ann);
+    expr_chan(@expr, ann);
+    expr_send(@expr /* TODO: @expr|is_lval */, @expr, ann);
 }
 
 type lit = spanned[lit_];
@@ -278,6 +281,8 @@ tag ty_ {
     ty_rec(vec[ty_field]);
     ty_fn(proto, vec[ty_arg], @ty);        // TODO: effect
     ty_obj(vec[ty_method]);
+    ty_chan(@ty);
+    ty_port(@ty);
     ty_path(path, option.t[def]);
     ty_mutable(@ty);
     ty_type;
diff --git a/src/comp/front/parser.rs b/src/comp/front/parser.rs
index 832afe20..1f7d4686 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -429,6 +429,22 @@ impure fn parse_ty(parser p) -> @ast.ty {
             t = parse_ty_obj(p, hi);
         }
 
+        case (token.PORT) {
+            p.bump();
+            expect(p, token.LBRACKET);
+            t = ast.ty_port(parse_ty(p));
+            hi = p.get_span();
+            expect(p, token.RBRACKET);
+        }
+
+        case (token.CHAN) {
+            p.bump();
+            expect(p, token.LBRACKET);
+            t = ast.ty_chan(parse_ty(p));
+            hi = p.get_span();
+            expect(p, token.RBRACKET);
+        }
+
         case (token.IDENT(_)) {
             t = ast.ty_path(parse_path(p, GREEDY), none[ast.def]);
         }
@@ -799,6 +815,23 @@ impure fn parse_bottom_expr(parser p) -> @ast.expr {
             }
         }
 
+        case (token.PORT) {
+            p.bump();
+            expect(p, token.LPAREN);
+            expect(p, token.RPAREN);
+            hi = p.get_span();
+            ex = ast.expr_port(ast.ann_none);
+        }
+
+        case (token.CHAN) {
+            p.bump();
+            expect(p, token.LPAREN);
+            auto e = parse_expr(p);
+            hi = e.span;
+            expect(p, token.RPAREN);
+            ex = ast.expr_chan(e, ast.ann_none);
+        }
+
         case (_) {
             auto lit = parse_lit(p);
             hi = lit.span;
@@ -1080,6 +1113,12 @@ impure fn parse_assign_expr(parser p) -> @ast.expr {
             ret @spanned(lo, rhs.span,
                          ast.expr_assign_op(aop, lhs, rhs, ast.ann_none));
         }
+        case (token.SEND) {
+            p.bump();
+            auto rhs = parse_expr(p);
+            ret @spanned(lo, rhs.span,
+                         ast.expr_send(lhs, rhs, ast.ann_none));
+        }
         case (_) { /* fall through */ }
     }
     ret lhs;