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

Typo fixes.

Browse source
This commit is contained in:
Lindsey Kuper 2012-05-16 12:09:55 -07:00
parent fa2ac66462
commit 76f49e497e
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
src/rustc/middle/typeck/infer.rs
View file

@ -62,7 +62,7 @@ to pump constraints along and reach a fixed point, but it does impose
some heuristics in the case where the user is relating two type some heuristics in the case where the user is relating two type
variables A <: B. variables A <: B.
The key point when relating type variables is that we do not know whta The key point when relating type variables is that we do not know what
type the variable represents, but we must make some change that will type the variable represents, but we must make some change that will
ensure that, whatever types A and B are resolved to, they are resolved ensure that, whatever types A and B are resolved to, they are resolved
to types which have a subtype relation. to types which have a subtype relation.
@ -989,34 +989,34 @@ impl assignment for infer_ctxt {
alt (ty::get(a_bnd).struct, ty::get(b_bnd).struct) { alt (ty::get(a_bnd).struct, ty::get(b_bnd).struct) {
(ty::ty_box(mt_a), ty::ty_rptr(r_b, mt_b)) { (ty::ty_box(mt_a), ty::ty_rptr(r_b, mt_b)) {
let nr_b = ty::mk_box(self.tcx, mt_b); let nr_b = ty::mk_box(self.tcx, mt_b);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
(ty::ty_uniq(mt_a), ty::ty_rptr(r_b, mt_b)) { (ty::ty_uniq(mt_a), ty::ty_rptr(r_b, mt_b)) {
let nr_b = ty::mk_uniq(self.tcx, mt_b); let nr_b = ty::mk_uniq(self.tcx, mt_b);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
(ty::ty_estr(vs_a), (ty::ty_estr(vs_a),
ty::ty_estr(ty::vstore_slice(r_b))) ty::ty_estr(ty::vstore_slice(r_b)))
if is_borrowable(vs_a) { if is_borrowable(vs_a) {
let nr_b = ty::mk_estr(self.tcx, vs_a); let nr_b = ty::mk_estr(self.tcx, vs_a);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
(ty::ty_str, (ty::ty_str,
ty::ty_estr(ty::vstore_slice(r_b))) { ty::ty_estr(ty::vstore_slice(r_b))) {
let nr_b = ty::mk_str(self.tcx); let nr_b = ty::mk_str(self.tcx);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
(ty::ty_evec(mt_a, vs_a), (ty::ty_evec(mt_a, vs_a),
ty::ty_evec(mt_b, ty::vstore_slice(r_b))) ty::ty_evec(mt_b, ty::vstore_slice(r_b)))
if is_borrowable(vs_a) { if is_borrowable(vs_a) {
let nr_b = ty::mk_evec(self.tcx, mt_b, vs_a); let nr_b = ty::mk_evec(self.tcx, mt_b, vs_a);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
(ty::ty_vec(mt_a), (ty::ty_vec(mt_a),
ty::ty_evec(mt_b, ty::vstore_slice(r_b))) { ty::ty_evec(mt_b, ty::vstore_slice(r_b))) {
let nr_b = ty::mk_vec(self.tcx, mt_b); let nr_b = ty::mk_vec(self.tcx, mt_b);
self.crosspolinate(anmnt, a, nr_b, r_b) self.crosspollinate(anmnt, a, nr_b, r_b)
} }
_ { _ {
self.sub_tys(a, b) self.sub_tys(a, b)
@ -1029,12 +1029,12 @@ impl assignment for infer_ctxt {
} }
} }
fn crosspolinate(anmnt: assignment, fn crosspollinate(anmnt: assignment,
a: ty::t, a: ty::t,
nr_b: ty::t, nr_b: ty::t,
r_b: ty::region) -> ures { r_b: ty::region) -> ures {
#debug["crosspolinate(anmnt=%?, a=%s, nr_b=%s, r_b=%s)", #debug["crosspollinate(anmnt=%?, a=%s, nr_b=%s, r_b=%s)",
anmnt, a.to_str(self), nr_b.to_str(self), anmnt, a.to_str(self), nr_b.to_str(self),
r_b.to_str(self)]; r_b.to_str(self)];