Skip to content

Commit afd0724

Browse files
danluudanluu
committed
---
yaml --- r: 56183 b: refs/heads/auto c: 7373c64 h: refs/heads/master i: 56181: a403439 56179: d8e1792 56175: 63f2df2 v: v3
1 parent a1c6bf4 commit afd0724

File tree

23 files changed

+69
-163
lines changed

23 files changed

+69
-163
lines changed

‎[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,6 @@ refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0
1414
refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
1515
refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
1616
refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
17-
refs/heads/auto: 97303703eec8e80003b4ffe729ad4df3ded1445c
17+
refs/heads/auto: 7373c64a4c0c7e72c8632be255d930d121481f1f
1818
refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
1919
refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c

‎branches/auto/doc/tutorial.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1669,6 +1669,9 @@ do spawn {
16691669
}
16701670
~~~~
16711671

1672+
If you want to see the output of `debug!` statements, you will need to turn on `debug!` logging.
1673+
To enable `debug!` logging, set the RUST_LOG environment variable to `debug` (e.g., with bash, `export RUST_LOG=debug`)
1674+
16721675
## For loops
16731676

16741677
The most common way to express iteration in Rust is with a `for`

‎branches/auto/src/librustc/metadata/tydecode.rs

Lines changed: 6 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -313,9 +313,8 @@ fn parse_ty(st: @mut PState, conv: conv_did) -> ty::t {
313313
let def = parse_def(st, NominalType, conv);
314314
let substs = parse_substs(st, conv);
315315
let store = parse_trait_store(st);
316-
let mt = parse_mutability(st);
317316
assert!(next(st) == ']');
318-
return ty::mk_trait(st.tcx, def, substs, store, mt);
317+
return ty::mk_trait(st.tcx, def, substs, store);
319318
}
320319
'p' => {
321320
let did = parse_def(st, TypeParameter, conv);
@@ -397,16 +396,13 @@ fn parse_ty(st: @mut PState, conv: conv_did) -> ty::t {
397396
}
398397
}
399398

400-
fn parse_mutability(st: @mut PState) -> ast::mutability {
399+
fn parse_mt(st: @mut PState, conv: conv_did) -> ty::mt {
400+
let mut m;
401401
match peek(st) {
402-
'm' => { next(st); ast::m_mutbl }
403-
'?' => { next(st); ast::m_const }
404-
_ => { ast::m_imm }
402+
'm' => { next(st); m = ast::m_mutbl; }
403+
'?' => { next(st); m = ast::m_const; }
404+
_ => { m = ast::m_imm; }
405405
}
406-
}
407-
408-
fn parse_mt(st: @mut PState, conv: conv_did) -> ty::mt {
409-
let m = parse_mutability(st);
410406
ty::mt { ty: parse_ty(st, conv), mutbl: m }
411407
}
412408

‎branches/auto/src/librustc/metadata/tyencode.rs

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,6 @@ use core::io;
2222
use core::uint;
2323
use core::vec;
2424
use syntax::abi::AbiSet;
25-
use syntax::ast;
2625
use syntax::ast::*;
2726
use syntax::diagnostic::span_handler;
2827
use syntax::print::pprust::*;
@@ -114,17 +113,12 @@ pub fn enc_ty(w: @io::Writer, cx: @ctxt, t: ty::t) {
114113
}
115114
}
116115
}
117-
118-
fn enc_mutability(w: @io::Writer, mt: ast::mutability) {
119-
match mt {
116+
fn enc_mt(w: @io::Writer, cx: @ctxt, mt: ty::mt) {
117+
match mt.mutbl {
120118
m_imm => (),
121119
m_mutbl => w.write_char('m'),
122120
m_const => w.write_char('?')
123121
}
124-
}
125-
126-
fn enc_mt(w: @io::Writer, cx: @ctxt, mt: ty::mt) {
127-
enc_mutability(w, mt.mutbl);
128122
enc_ty(w, cx, mt.ty);
129123
}
130124

@@ -275,13 +269,12 @@ fn enc_sty(w: @io::Writer, cx: @ctxt, +st: ty::sty) {
275269
enc_substs(w, cx, (*substs));
276270
w.write_char(']');
277271
}
278-
ty::ty_trait(def, ref substs, store, mt) => {
272+
ty::ty_trait(def, ref substs, store) => {
279273
w.write_str(&"x[");
280274
w.write_str((cx.ds)(def));
281275
w.write_char('|');
282276
enc_substs(w, cx, (*substs));
283277
enc_trait_store(w, cx, store);
284-
enc_mutability(w, mt);
285278
w.write_char(']');
286279
}
287280
ty::ty_tup(ts) => {

‎branches/auto/src/librustc/middle/kind.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -589,7 +589,7 @@ pub fn check_cast_for_escaping_regions(
589589
pub fn check_kind_bounds_of_cast(cx: Context, source: @expr, target: @expr) {
590590
let target_ty = ty::expr_ty(cx.tcx, target);
591591
match ty::get(target_ty).sty {
592-
ty::ty_trait(_, _, ty::UniqTraitStore, _) => {
592+
ty::ty_trait(_, _, ty::UniqTraitStore) => {
593593
let source_ty = ty::expr_ty(cx.tcx, source);
594594
if !ty::type_is_owned(cx.tcx, source_ty) {
595595
cx.tcx.sess.span_err(

‎branches/auto/src/librustc/middle/trans/debuginfo.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -671,7 +671,7 @@ fn create_ty(cx: @CrateContext, t: ty::t, span: span)
671671
ty::ty_closure(ref _closurety) => {
672672
cx.sess.span_bug(span, ~"debuginfo for closure NYI")
673673
},
674-
ty::ty_trait(_did, ref _substs, ref _vstore, _) => {
674+
ty::ty_trait(_did, ref _substs, ref _vstore) => {
675675
cx.sess.span_bug(span, ~"debuginfo for trait NYI")
676676
},
677677
ty::ty_struct(did, ref substs) => {

‎branches/auto/src/librustc/middle/trans/expr.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -667,7 +667,7 @@ fn trans_rvalue_dps_unadjusted(bcx: block, expr: @ast::expr,
667667
}
668668
ast::expr_cast(val, _) => {
669669
match ty::get(node_id_type(bcx, expr.id)).sty {
670-
ty::ty_trait(_, _, store, _) => {
670+
ty::ty_trait(_, _, store) => {
671671
return meth::trans_trait_cast(bcx, val, expr.id, dest,
672672
store);
673673
}

‎branches/auto/src/librustc/middle/trans/glue.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -551,11 +551,11 @@ pub fn make_drop_glue(bcx: block, v0: ValueRef, t: ty::t) {
551551
ty::ty_closure(_) => {
552552
closure::make_closure_glue(bcx, v0, t, drop_ty)
553553
}
554-
ty::ty_trait(_, _, ty::BoxTraitStore, _) => {
554+
ty::ty_trait(_, _, ty::BoxTraitStore) => {
555555
let llbox = Load(bcx, GEPi(bcx, v0, [0u, 1u]));
556556
decr_refcnt_maybe_free(bcx, llbox, ty::mk_opaque_box(ccx.tcx))
557557
}
558-
ty::ty_trait(_, _, ty::UniqTraitStore, _) => {
558+
ty::ty_trait(_, _, ty::UniqTraitStore) => {
559559
let lluniquevalue = GEPi(bcx, v0, [0, 1]);
560560
let lltydesc = Load(bcx, GEPi(bcx, v0, [0, 2]));
561561
call_tydesc_glue_full(bcx, lluniquevalue, lltydesc,
@@ -617,12 +617,12 @@ pub fn make_take_glue(bcx: block, v: ValueRef, t: ty::t) {
617617
ty::ty_closure(_) => {
618618
closure::make_closure_glue(bcx, v, t, take_ty)
619619
}
620-
ty::ty_trait(_, _, ty::BoxTraitStore, _) => {
620+
ty::ty_trait(_, _, ty::BoxTraitStore) => {
621621
let llbox = Load(bcx, GEPi(bcx, v, [0u, 1u]));
622622
incr_refcnt_of_boxed(bcx, llbox);
623623
bcx
624624
}
625-
ty::ty_trait(_, _, ty::UniqTraitStore, _) => {
625+
ty::ty_trait(_, _, ty::UniqTraitStore) => {
626626
let llval = GEPi(bcx, v, [0, 1]);
627627
let lltydesc = Load(bcx, GEPi(bcx, v, [0, 2]));
628628
call_tydesc_glue_full(bcx, llval, lltydesc,

‎branches/auto/src/librustc/middle/trans/monomorphize.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -303,7 +303,7 @@ pub fn normalize_for_monomorphization(tcx: ty::ctxt,
303303
ty::ty_closure(ref fty) => {
304304
Some(normalized_closure_ty(tcx, fty.sigil))
305305
}
306-
ty::ty_trait(_, _, ref store, _) => {
306+
ty::ty_trait(_, _, ref store) => {
307307
let sigil = match *store {
308308
ty::UniqTraitStore => ast::OwnedSigil,
309309
ty::BoxTraitStore => ast::ManagedSigil,

‎branches/auto/src/librustc/middle/trans/reflect.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -323,7 +323,7 @@ pub impl Reflector {
323323
}
324324

325325
// Miscallaneous extra types
326-
ty::ty_trait(_, _, _, _) => self.leaf(~"trait"),
326+
ty::ty_trait(_, _, _) => self.leaf(~"trait"),
327327
ty::ty_infer(_) => self.leaf(~"infer"),
328328
ty::ty_err => self.leaf(~"err"),
329329
ty::ty_param(ref p) => {

‎branches/auto/src/librustc/middle/trans/type_of.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -133,7 +133,7 @@ pub fn sizing_type_of(cx: @CrateContext, t: ty::t) -> TypeRef {
133133

134134
ty::ty_bare_fn(*) => T_ptr(T_i8()),
135135
ty::ty_closure(*) => T_struct(~[T_ptr(T_i8()), T_ptr(T_i8())], false),
136-
ty::ty_trait(_, _, store, _) => T_opaque_trait(cx, store),
136+
ty::ty_trait(_, _, store) => T_opaque_trait(cx, store),
137137

138138
ty::ty_estr(ty::vstore_fixed(size)) => T_array(T_i8(), size),
139139
ty::ty_evec(mt, ty::vstore_fixed(size)) => {
@@ -249,7 +249,7 @@ pub fn type_of(cx: @CrateContext, t: ty::t) -> TypeRef {
249249

250250
ty::ty_bare_fn(_) => T_ptr(type_of_fn_from_ty(cx, t)),
251251
ty::ty_closure(_) => T_fn_pair(cx, type_of_fn_from_ty(cx, t)),
252-
ty::ty_trait(_, _, store, _) => T_opaque_trait(cx, store),
252+
ty::ty_trait(_, _, store) => T_opaque_trait(cx, store),
253253
ty::ty_type => T_ptr(cx.tydesc_type),
254254
ty::ty_tup(*) => {
255255
let repr = adt::represent_type(cx, t);

‎branches/auto/src/librustc/middle/trans/type_use.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -216,7 +216,7 @@ pub fn type_needs_inner(cx: Context,
216216
ty::ty_bare_fn(*) |
217217
ty::ty_ptr(_) |
218218
ty::ty_rptr(_, _) |
219-
ty::ty_trait(_, _, _, _) => false,
219+
ty::ty_trait(_, _, _) => false,
220220

221221
ty::ty_enum(did, ref substs) => {
222222
if list::find(enums_seen, |id| *id == did).is_none() {

‎branches/auto/src/librustc/middle/ty.rs

Lines changed: 21 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -532,7 +532,7 @@ pub enum sty {
532532
ty_rptr(Region, mt),
533533
ty_bare_fn(BareFnTy),
534534
ty_closure(ClosureTy),
535-
ty_trait(def_id, substs, TraitStore, ast::mutability),
535+
ty_trait(def_id, substs, TraitStore),
536536
ty_struct(def_id, substs),
537537
ty_tup(~[t]),
538538

@@ -946,7 +946,7 @@ fn mk_t_with_id(cx: ctxt, +st: sty, o_def_id: Option<ast::def_id>) -> t {
946946
&ty_infer(_) => flags |= needs_infer as uint,
947947
&ty_self(_) => flags |= has_self as uint,
948948
&ty_enum(_, ref substs) | &ty_struct(_, ref substs) |
949-
&ty_trait(_, ref substs, _, _) => {
949+
&ty_trait(_, ref substs, _) => {
950950
flags |= sflags(substs);
951951
}
952952
&ty_box(ref m) | &ty_uniq(ref m) | &ty_evec(ref m, _) |
@@ -1115,11 +1115,10 @@ pub fn mk_ctor_fn(cx: ctxt, input_tys: &[ty::t], output: ty::t) -> t {
11151115
pub fn mk_trait(cx: ctxt,
11161116
did: ast::def_id,
11171117
+substs: substs,
1118-
store: TraitStore,
1119-
mutability: ast::mutability)
1118+
store: TraitStore)
11201119
-> t {
11211120
// take a copy of substs so that we own the vectors inside
1122-
mk_t(cx, ty_trait(did, substs, store, mutability))
1121+
mk_t(cx, ty_trait(did, substs, store))
11231122
}
11241123

11251124
pub fn mk_struct(cx: ctxt, struct_id: ast::def_id, +substs: substs) -> t {
@@ -1215,7 +1214,7 @@ pub fn maybe_walk_ty(ty: t, f: &fn(t) -> bool) {
12151214
maybe_walk_ty(tm.ty, f);
12161215
}
12171216
ty_enum(_, ref substs) | ty_struct(_, ref substs) |
1218-
ty_trait(_, ref substs, _, _) => {
1217+
ty_trait(_, ref substs, _) => {
12191218
for (*substs).tps.each |subty| { maybe_walk_ty(*subty, f); }
12201219
}
12211220
ty_tup(ref ts) => { for ts.each |tt| { maybe_walk_ty(*tt, f); } }
@@ -1278,8 +1277,8 @@ fn fold_sty(sty: &sty, fldop: &fn(t) -> t) -> sty {
12781277
ty_enum(tid, ref substs) => {
12791278
ty_enum(tid, fold_substs(substs, fldop))
12801279
}
1281-
ty_trait(did, ref substs, st, mutbl) => {
1282-
ty_trait(did, fold_substs(substs, fldop), st, mutbl)
1280+
ty_trait(did, ref substs, st) => {
1281+
ty_trait(did, fold_substs(substs, fldop), st)
12831282
}
12841283
ty_tup(ref ts) => {
12851284
let new_ts = ts.map(|tt| fldop(*tt));
@@ -1368,8 +1367,8 @@ pub fn fold_regions_and_ty(
13681367
ty_struct(def_id, ref substs) => {
13691368
ty::mk_struct(cx, def_id, fold_substs(substs, fldr, fldt))
13701369
}
1371-
ty_trait(def_id, ref substs, st, mutbl) => {
1372-
ty::mk_trait(cx, def_id, fold_substs(substs, fldr, fldt), st, mutbl)
1370+
ty_trait(def_id, ref substs, st) => {
1371+
ty::mk_trait(cx, def_id, fold_substs(substs, fldr, fldt), st)
13731372
}
13741373
ty_bare_fn(ref f) => {
13751374
ty::mk_bare_fn(cx, BareFnTy {sig: fold_sig(&f.sig, fldfnt),
@@ -1912,19 +1911,16 @@ pub fn type_contents(cx: ctxt, ty: t) -> TypeContents {
19121911
TC_MANAGED + nonowned(tc_mt(cx, mt, cache))
19131912
}
19141913
1915-
ty_trait(_, _, UniqTraitStore, _) => {
1914+
ty_trait(_, _, UniqTraitStore) => {
19161915
TC_OWNED_CLOSURE
19171916
}
19181917
1919-
ty_trait(_, _, BoxTraitStore, mutbl) => {
1920-
match mutbl {
1921-
ast::m_mutbl => TC_MANAGED + TC_MUTABLE,
1922-
_ => TC_MANAGED
1923-
}
1918+
ty_trait(_, _, BoxTraitStore) => {
1919+
TC_MANAGED
19241920
}
19251921
1926-
ty_trait(_, _, RegionTraitStore(r), mutbl) => {
1927-
borrowed_contents(r, mutbl)
1922+
ty_trait(_, _, RegionTraitStore(r)) => {
1923+
borrowed_contents(r, m_imm)
19281924
}
19291925
19301926
ty_rptr(r, mt) => {
@@ -2245,7 +2241,7 @@ pub fn is_instantiable(cx: ctxt, r_ty: t) -> bool {
22452241
false // unsafe ptrs can always be NULL
22462242
}
22472243
2248-
ty_trait(_, _, _, _) => {
2244+
ty_trait(_, _, _) => {
22492245
false
22502246
}
22512247
@@ -2389,7 +2385,7 @@ pub fn type_is_pod(cx: ctxt, ty: t) -> bool {
23892385
ty_box(_) | ty_uniq(_) | ty_closure(_) |
23902386
ty_estr(vstore_uniq) | ty_estr(vstore_box) |
23912387
ty_evec(_, vstore_uniq) | ty_evec(_, vstore_box) |
2392-
ty_trait(_, _, _, _) | ty_rptr(_,_) | ty_opaque_box => result = false,
2388+
ty_trait(_, _, _) | ty_rptr(_,_) | ty_opaque_box => result = false,
23932389
// Structural types
23942390
ty_enum(did, ref substs) => {
23952391
let variants = enum_variants(cx, did);
@@ -2677,8 +2673,8 @@ impl to_bytes::IterBytes for sty {
26772673
ty_uniq(ref mt) =>
26782674
to_bytes::iter_bytes_2(&19u8, mt, lsb0, f),
26792675
2680-
ty_trait(ref did, ref substs, ref v, ref mutbl) =>
2681-
to_bytes::iter_bytes_5(&20u8, did, substs, v, mutbl, lsb0, f),
2676+
ty_trait(ref did, ref substs, ref v) =>
2677+
to_bytes::iter_bytes_4(&20u8, did, substs, v, lsb0, f),
26822678
26832679
ty_opaque_closure_ptr(ref ck) =>
26842680
to_bytes::iter_bytes_2(&21u8, ck, lsb0, f),
@@ -3370,7 +3366,7 @@ pub fn ty_sort_str(cx: ctxt, t: t) -> ~str {
33703366
ty_rptr(_, _) => ~"&-ptr",
33713367
ty_bare_fn(_) => ~"extern fn",
33723368
ty_closure(_) => ~"fn",
3373-
ty_trait(id, _, _, _) => fmt!("trait %s", item_path_str(cx, id)),
3369+
ty_trait(id, _, _) => fmt!("trait %s", item_path_str(cx, id)),
33743370
ty_struct(id, _) => fmt!("struct %s", item_path_str(cx, id)),
33753371
ty_tup(_) => ~"tuple",
33763372
ty_infer(TyVar(_)) => ~"inferred type",
@@ -3683,7 +3679,7 @@ pub fn impl_trait_refs(cx: ctxt, id: ast::def_id) -> ~[@TraitRef] {
36833679

36843680
pub fn ty_to_def_id(ty: t) -> Option<ast::def_id> {
36853681
match get(ty).sty {
3686-
ty_trait(id, _, _, _) | ty_struct(id, _) | ty_enum(id, _) => Some(id),
3682+
ty_trait(id, _, _) | ty_struct(id, _) | ty_enum(id, _) => Some(id),
36873683
_ => None
36883684
}
36893685
}
@@ -4417,7 +4413,7 @@ pub fn visitor_object_ty(tcx: ctxt) -> (@TraitRef, t) {
44174413
assert!(tcx.intrinsic_traits.contains_key(&ty_visitor_name));
44184414
let trait_ref = *tcx.intrinsic_traits.get(&ty_visitor_name);
44194415
(trait_ref,
4420-
mk_trait(tcx, trait_ref.def_id, copy trait_ref.substs, BoxTraitStore, ast::m_imm))
4416+
mk_trait(tcx, trait_ref.def_id, copy trait_ref.substs, BoxTraitStore))
44214417
}
44224418

44234419
// Local Variables:

‎branches/auto/src/librustc/middle/typeck/astconv.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -277,9 +277,9 @@ pub fn ast_ty_to_ty<AC:AstConv, RS:region_scope + Copy + Durable>(
277277
}
278278
return ty::mk_evec(tcx, mt, vst);
279279
}
280-
ast::ty_path(path, id) => {
280+
ast::ty_path(path, id) if a_seq_ty.mutbl == ast::m_imm => {
281281
match tcx.def_map.find(&id) {
282-
Some(&ast::def_prim_ty(ast::ty_str)) if a_seq_ty.mutbl == ast::m_imm => {
282+
Some(&ast::def_prim_ty(ast::ty_str)) => {
283283
check_path_args(tcx, path, NO_TPS | NO_REGIONS);
284284
return ty::mk_estr(tcx, vst);
285285
}
@@ -305,8 +305,7 @@ pub fn ast_ty_to_ty<AC:AstConv, RS:region_scope + Copy + Durable>(
305305
return ty::mk_trait(tcx,
306306
result.def_id,
307307
copy result.substs,
308-
trait_store,
309-
a_seq_ty.mutbl);
308+
trait_store);
310309
}
311310
_ => {}
312311
}

‎branches/auto/src/librustc/middle/typeck/check/method.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -291,7 +291,7 @@ pub impl<'self> LookupContext<'self> {
291291
ty_param(p) => {
292292
self.push_inherent_candidates_from_param(self_ty, p);
293293
}
294-
ty_trait(did, ref substs, store, _) => {
294+
ty_trait(did, ref substs, store) => {
295295
self.push_inherent_candidates_from_trait(
296296
self_ty, did, substs, store);
297297
self.push_inherent_impl_candidates_for_type(did);

‎branches/auto/src/librustc/middle/typeck/check/regionck.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -288,7 +288,7 @@ fn visit_expr(expr: @ast::expr, &&rcx: @mut Rcx, v: rvt) {
288288
// explaining how it goes about doing that.
289289
let target_ty = rcx.resolve_node_type(expr.id);
290290
match ty::get(target_ty).sty {
291-
ty::ty_trait(_, _, ty::RegionTraitStore(trait_region), _) => {
291+
ty::ty_trait(_, _, ty::RegionTraitStore(trait_region)) => {
292292
let source_ty = rcx.fcx.expr_ty(source);
293293
constrain_regions_in_type(rcx, trait_region,
294294
expr.span, source_ty);

0 commit comments

Comments
 (0)