OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rustc: Unify over alt expressions

Browse Source
This commit is contained in:
Patrick Walton 2011-03-18 12:47:44 -07:00
parent 6dee1ac161
commit e8938f5fb2
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1401,6 +1401,20 @@ fn demand_expr_full(&@fn_ctxt fcx, @ty.t expected, @ast.expr e,
e_1 = ast.expr_chan(es_1, ast.ann_type(t, none[vec[@ty.t]]));
}
case (ast.expr_alt(?discrim, ?arms_0, ?ann)) {
auto t = expected;
let vec[ast.arm] arms_1 = vec();
for (ast.arm arm_0 in arms_0) {
auto block_1 = demand_block(fcx, expected, arm_0.block);
t = demand(fcx, e.span, t, block_ty(block_1));
auto arm_1 = rec(pat=arm_0.pat, block=block_1,
index=arm_0.index);
arms_1 += vec(arm_1);
}
e_1 = ast.expr_alt(discrim, arms_1,
ast.ann_type(t, none[vec[@ty.t]]));
}
case (_) {
fcx.ccx.sess.span_unimpl(e.span,
"type unification for expression variant");