user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Kind check tuples. Closes #841.

Browse source
This commit is contained in:
Michael Sullivan 2011-08-18 18:06:00 -07:00
parent 94c6160c73
commit e7c8019dd9
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/comp/middle/ty.rs
View file

@ -1071,6 +1071,13 @@ fn type_kind(cx: &ctxt, ty: &t) -> ast::kind {
if result == ast::kind_pinned { break; }
}
}
// Tuples lower to the lowest of their members.
ty_tup(tys) {
for ty: t in tys {
result = kind::lower_kind(result, type_kind(cx, ty));
if result == ast::kind_pinned { break; }
}
}
// Tags lower to the lowest of their variants.
ty_tag(did, tps) {