mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Typecheck expr_send and expr_recv

Browse Source
This commit is contained in:
Brian Anderson 2011-03-13 03:26:11 -04:00 committed by Graydon Hoare
parent a309f74a94
commit 83f758cf0d
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/comp/middle/typeck.rs
View File

@ -1830,6 +1830,22 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
ret @fold.respan[ast.expr_](expr.span, newexpr);
}
case (ast.expr_send(?lhs, ?rhs, _)) {
auto checked = check_assignment_like(fcx, lhs, rhs);
auto newexpr = ast.expr_send(checked._0,
checked._1,
checked._2);
ret @fold.respan[ast.expr_](expr.span, newexpr);
}
case (ast.expr_recv(?lhs, ?rhs, _)) {
auto checked = check_assignment_like(fcx, lhs, rhs);
auto newexpr = ast.expr_recv(checked._0,
checked._1,
checked._2);
ret @fold.respan[ast.expr_](expr.span, newexpr);
}
case (ast.expr_if(?cond, ?thn, ?elifs, ?elsopt, _)) {
auto cond_0 = check_expr(fcx, cond);
auto cond_1 = demand_expr(fcx, plain_ty(ty.ty_bool), cond_0);