From d72d50473ff320e72045cfea513eb43f0f214e21 Mon Sep 17 00:00:00 2001 From: Eric Holk Date: Wed, 25 May 2011 11:13:11 -0700 Subject: [PATCH] Fixing typechecking for spawn. --- src/comp/middle/typeck.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs index 75d8bac77695..604ffe8f25a6 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