aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-12-16 12:23:48 -0800
committerPatrick Walton <[email protected]>2010-12-16 12:23:48 -0800
commit13b889287b5fc9815816a2d4998c4b8c8eaefb88 (patch)
tree2b2b40a1525324dd00c79717d33ec08e8ab1274f
parentrustc: Infer the types of type-parametric functions (diff)
downloadrust-13b889287b5fc9815816a2d4998c4b8c8eaefb88.tar.xz
rust-13b889287b5fc9815816a2d4998c4b8c8eaefb88.zip
rustc: Make trans.type_of handle parameter types
-rw-r--r--src/comp/middle/trans.rs6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 660b4312..747a7c67 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -353,9 +353,11 @@ fn type_of_inner(@crate_ctxt cx, @typeck.ty t) -> TypeRef {
ret pair;
}
case (typeck.ty_var(_)) {
- // FIXME: implement.
log "ty_var in trans.type_of";
- ret T_i8();
+ fail;
+ }
+ case (typeck.ty_param(_)) {
+ ret T_ptr(T_i8());
}
}
fail;