diff options
| author | Eric Holk <eholk@mozilla.com> | 2011-05-25 11:13:11 -0700 |
|---|---|---|
| committer | Brian Anderson <andersrb@gmail.com> | 2011-05-25 18:01:45 -0400 |
| commit | d72d50473ff320e72045cfea513eb43f0f214e21 (patch) | |
| tree | 12636590038316d106c9b3d5a9da7285df120086 /src/comp/middle | |
| parent | 4c4a4aee91309d359b50ffb7bbd1fc20b9fcf633 (diff) | |
| download | rust-d72d50473ff320e72045cfea513eb43f0f214e21.tar.gz rust-d72d50473ff320e72045cfea513eb43f0f214e21.zip | |
Fixing typechecking for spawn.
Diffstat (limited to 'src/comp/middle')
| -rw-r--r-- | src/comp/middle/typeck.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs index 75d8bac7769..604ffe8f25a 100644 --- a/src/comp/middle/typeck.rs +++ b/src/comp/middle/typeck.rs @@ -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 |