nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-27 01:04:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

rustc: Perform type substitutions when recording locals

Browse Source
This commit is contained in:
Patrick Walton 2011-04-14 12:33:26 -07:00
parent fee88f79f5
commit 35e021ed53
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -858,6 +858,15 @@ mod Unify {
}
}
}
// TODO: "freeze"
let vec[@ty.t] param_substs_1 = vec();
for (@ty.t subst in param_substs) {
param_substs_1 += vec(subst);
}
unified_type =
ty.substitute_type_params(param_substs_1, unified_type);
fcx.locals.insert(id, unified_type);
}
fn record_param(uint index, @ty.t binding) -> ty.unify_result {
@ -1617,7 +1626,8 @@ fn check_pat(&@fn_ctxt fcx, @ast.pat pat) -> @ast.pat {
}
fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
// log "typechecking expr " + pretty.pprust.expr_to_str(expr);
//fcx.ccx.sess.span_warn(expr.span, "typechecking expr " +
// pretty.pprust.expr_to_str(expr));
// A generic function to factor out common logic from call and bind
// expressions.