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

rustc: Substitute type parameters in type_of_variant(). Add a test case.

Browse source
This commit is contained in:
Patrick Walton 2011-03-09 13:31:25 -08:00
parent 9aa26904b8
commit 2986ed43e9
2 changed files with 18 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/comp/middle/trans.rs
View file

@ -1699,11 +1699,15 @@ fn variant_types(@crate_ctxt cx, &ast.variant v) -> vec[@ty.t] {
ret tys;
}
fn type_of_variant(@crate_ctxt cx, &ast.variant v) -> TypeRef {
fn type_of_variant(@crate_ctxt cx,
&ast.variant v,
vec[ast.ty_param] ty_params,
vec[@ty.t] ty_param_substs) -> TypeRef {
let vec[TypeRef] lltys = vec();
auto tys = variant_types(cx, v);
for (@ty.t typ in tys) {
lltys += vec(type_of(cx, typ));
auto typ2 = ty.substitute_ty_params(ty_params, ty_param_substs, typ);
lltys += vec(type_of(cx, typ2));
}
ret T_struct(lltys);
}
@ -1850,6 +1854,8 @@ fn iter_structural_ty_full(@block_ctxt cx,
auto next_cx = new_sub_block_ctxt(bcx, "tag-iter-next");
auto ty_params = tag_ty_params(bcx.fcx.ccx, tid);
auto i = 0u;
for (ast.variant variant in variants) {
auto variant_cx = new_sub_block_ctxt(bcx,
@ -1859,7 +1865,8 @@ fn iter_structural_ty_full(@block_ctxt cx,
if (_vec.len[ast.variant_arg](variant.args) > 0u) {
// N-ary variant.
auto llvarty = type_of_variant(bcx.fcx.ccx, variants.(i));
auto llvarty = type_of_variant(bcx.fcx.ccx, variants.(i),
ty_params, tps);
auto fn_ty = ty.ann_to_type(variants.(i).ann);
alt (fn_ty.struct) {
@ -1870,8 +1877,6 @@ fn iter_structural_ty_full(@block_ctxt cx,
auto llvarp_b = variant_cx.build.
TruncOrBitCast(llunion_b_ptr, T_ptr(llvarty));
auto ty_params = tag_ty_params(bcx.fcx.ccx, tid);
auto j = 0u;
for (ty.arg a in args) {
auto v = vec(C_int(0), C_int(j as int));

8
src/test/run-pass/generic-tag-local.rs Normal file
View file

@ -0,0 +1,8 @@
tag clam[T] {
a(T);
}
fn main() {
auto c = a(3);
}