squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Fixing typechecking for spawn.

Browse source
This commit is contained in:
Eric Holk 2011-05-25 11:13:11 -07:00 committed by Brian Anderson
parent 4c4a4aee91
commit d72d50473f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/comp/middle/typeck.rs
View file

@ -2387,7 +2387,9 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) {
check_call(scx, f, args);
auto fty = expr_ty(scx.fcx.ccx.tcx, f);
demand::simple(scx, f.span, ty::mk_nil(scx.fcx.ccx.tcx), fty);
auto ret_ty = ty::ret_ty_of_fn_ty(scx.fcx.ccx.tcx, fty);
demand::simple(scx, f.span, ty::mk_nil(scx.fcx.ccx.tcx), ret_ty);
// FIXME: Other typechecks needed