Skip to content

Commit 19e718b

Browse files
jbclementsjbclements
committed
carry self ident forward through re-parsing
formerly, the self identifier was being discarded during parsing, which stymies hygiene. The best fix here seems to be to attach a self identifier to ExplicitSelf_, a change that rippled through the rest of the compiler, but without any obvious damage.
1 parent 69c2754 commit 19e718b

File tree

15 files changed

+114
-80
lines changed

15 files changed

+114
-80
lines changed

‎src/librustc/metadata/decoder.rs‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -739,10 +739,11 @@ fn get_explicit_self(item: ebml::Doc) -> ast::ExplicitSelf_ {
739739
let explicit_self_kind = string.as_bytes()[0];
740740
match explicit_self_kind as char {
741741
's' => ast::SelfStatic,
742-
'v' => ast::SelfValue,
743-
'~' => ast::SelfUniq,
742+
'v' => ast::SelfValue(special_idents::self_),
743+
'~' => ast::SelfUniq(special_idents::self_),
744744
// FIXME(#4846) expl. region
745-
'&' => ast::SelfRegion(None, get_mutability(string.as_bytes()[1])),
745+
'&' => ast::SelfRegion(None, get_mutability(string.as_bytes()[1]),
746+
special_idents::self_),
746747
_ => fail!("unknown self type code: `{}`", explicit_self_kind as char)
747748
}
748749
}

‎src/librustc/metadata/encoder.rs‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -628,10 +628,10 @@ fn encode_explicit_self(ebml_w: &mut Encoder, explicit_self: ast::ExplicitSelf_)
628628

629629
// Encode the base self type.
630630
match explicit_self {
631-
SelfStatic => { ebml_w.writer.write(&[ 's' as u8 ]); }
632-
SelfValue => { ebml_w.writer.write(&[ 'v' as u8 ]); }
633-
SelfUniq => { ebml_w.writer.write(&[ '~' as u8 ]); }
634-
SelfRegion(_, m) => {
631+
SelfStatic => { ebml_w.writer.write(&[ 's' as u8 ]); }
632+
SelfValue(_) => { ebml_w.writer.write(&[ 'v' as u8 ]); }
633+
SelfUniq(_) => { ebml_w.writer.write(&[ '~' as u8 ]); }
634+
SelfRegion(_, m, _) => {
635635
// FIXME(#4846) encode custom lifetime
636636
ebml_w.writer.write(&['&' as u8]);
637637
encode_mutability(ebml_w, m);

‎src/librustc/middle/trans/meth.rs‎

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -502,12 +502,15 @@ fn emit_vtable_methods(bcx: &Block,
502502
ExprId(0),
503503
substs.clone(),
504504
vtables.clone());
505-
if m.explicit_self == ast::SelfValue {
506-
fn_ref = trans_unboxing_shim(bcx,
507-
fn_ref,
508-
&*m,
509-
m_id,
510-
substs.clone());
505+
match m.explicit_self {
506+
ast::SelfValue(_) => {
507+
fn_ref = trans_unboxing_shim(bcx,
508+
fn_ref,
509+
&*m,
510+
m_id,
511+
substs.clone());
512+
},
513+
_ => {}
511514
}
512515
fn_ref
513516
}

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -938,10 +938,10 @@ fn ty_of_method_or_bare_fn<AC:AstConv>(this: &AC, id: ast::NodeId,
938938
let self_ty = opt_self_info.and_then(|self_info| {
939939
match self_info.explicit_self.node {
940940
ast::SelfStatic => None,
941-
ast::SelfValue => {
941+
ast::SelfValue(_) => {
942942
Some(self_info.untransformed_self_ty)
943943
}
944-
ast::SelfRegion(ref lifetime, mutability) => {
944+
ast::SelfRegion(ref lifetime, mutability, _) => {
945945
let region =
946946
opt_ast_region_to_region(this, &rb,
947947
self_info.explicit_self.span,
@@ -950,7 +950,7 @@ fn ty_of_method_or_bare_fn<AC:AstConv>(this: &AC, id: ast::NodeId,
950950
ty::mt {ty: self_info.untransformed_self_ty,
951951
mutbl: mutability}))
952952
}
953-
ast::SelfUniq => {
953+
ast::SelfUniq(_) => {
954954
Some(ty::mk_uniq(this.tcx(), self_info.untransformed_self_ty))
955955
}
956956
}

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -270,12 +270,12 @@ fn construct_transformed_self_ty_for_object(
270270
ast::SelfStatic => {
271271
tcx.sess.span_bug(span, "static method for object type receiver");
272272
}
273-
ast::SelfValue => {
273+
ast::SelfValue(_) => {
274274
let tr = ty::mk_trait(tcx, trait_def_id, obj_substs,
275275
ty::empty_builtin_bounds());
276276
ty::mk_uniq(tcx, tr)
277277
}
278-
ast::SelfRegion(..) | ast::SelfUniq => {
278+
ast::SelfRegion(..) | ast::SelfUniq(..) => {
279279
let transformed_self_ty = *method_ty.fty.sig.inputs.get(0);
280280
match ty::get(transformed_self_ty).sty {
281281
ty::ty_rptr(r, mt) => { // must be SelfRegion
@@ -1227,7 +1227,7 @@ impl<'a> LookupContext<'a> {
12271227
through an object");
12281228
}
12291229

1230-
ast::SelfValue | ast::SelfRegion(..) | ast::SelfUniq => {}
1230+
ast::SelfValue(_) | ast::SelfRegion(..) | ast::SelfUniq(_) => {}
12311231
}
12321232

12331233
// reason (a) above
@@ -1296,7 +1296,7 @@ impl<'a> LookupContext<'a> {
12961296
self.report_statics == ReportStaticMethods
12971297
}
12981298

1299-
SelfValue => {
1299+
SelfValue(_) => {
13001300
debug!("(is relevant?) explicit self is by-value");
13011301
match ty::get(rcvr_ty).sty {
13021302
ty::ty_uniq(typ) => {
@@ -1319,7 +1319,7 @@ impl<'a> LookupContext<'a> {
13191319
}
13201320
}
13211321

1322-
SelfRegion(_, m) => {
1322+
SelfRegion(_, m, _) => {
13231323
debug!("(is relevant?) explicit self is a region");
13241324
match ty::get(rcvr_ty).sty {
13251325
ty::ty_rptr(_, mt) => {
@@ -1339,7 +1339,7 @@ impl<'a> LookupContext<'a> {
13391339
}
13401340
}
13411341

1342-
SelfUniq => {
1342+
SelfUniq(_) => {
13431343
debug!("(is relevant?) explicit self is a unique pointer");
13441344
match ty::get(rcvr_ty).sty {
13451345
ty::ty_uniq(typ) => {

‎src/librustc/middle/typeck/infer/error_reporting.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -947,16 +947,16 @@ impl<'a> Rebuilder<'a> {
947947
-> Option<ast::ExplicitSelf_> {
948948
match expl_self_opt {
949949
Some(expl_self) => match expl_self {
950-
ast::SelfRegion(lt_opt, muta) => match lt_opt {
950+
ast::SelfRegion(lt_opt, muta, id) => match lt_opt {
951951
Some(lt) => if region_names.contains(&lt.name) {
952-
return Some(ast::SelfRegion(Some(lifetime), muta));
952+
return Some(ast::SelfRegion(Some(lifetime), muta, id));
953953
},
954954
None => {
955955
let anon = self.cur_anon.get();
956956
self.inc_and_offset_cur_anon(1);
957957
if anon_nums.contains(&anon) {
958958
self.track_anon(anon);
959-
return Some(ast::SelfRegion(Some(lifetime), muta));
959+
return Some(ast::SelfRegion(Some(lifetime), muta, id));
960960
}
961961
}
962962
},

‎src/librustdoc/clean/mod.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -775,9 +775,9 @@ impl Clean<SelfTy> for ast::ExplicitSelf_ {
775775
fn clean(&self) -> SelfTy {
776776
match *self {
777777
ast::SelfStatic => SelfStatic,
778-
ast::SelfValue => SelfValue,
779-
ast::SelfUniq => SelfOwned,
780-
ast::SelfRegion(lt, mt) => SelfBorrowed(lt.clean(), mt.clean()),
778+
ast::SelfValue(_) => SelfValue,
779+
ast::SelfUniq(_) => SelfOwned,
780+
ast::SelfRegion(lt, mt, _) => SelfBorrowed(lt.clean(), mt.clean()),
781781
}
782782
}
783783
}

‎src/libsyntax/ast.rs‎

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ use codemap::{Span, Spanned, DUMMY_SP};
1414
use abi::Abi;
1515
use ast_util;
1616
use owned_slice::OwnedSlice;
17-
use parse::token::{InternedString, special_idents, str_to_ident};
17+
use parse::token::{InternedString, str_to_ident};
1818
use parse::token;
1919

2020
use std::fmt;
@@ -824,8 +824,8 @@ pub struct Arg {
824824
}
825825

826826
impl Arg {
827-
pub fn new_self(span: Span, mutability: Mutability) -> Arg {
828-
let path = Spanned{span:span,node:special_idents::self_};
827+
pub fn new_self(span: Span, mutability: Mutability, self_ident: Ident) -> Arg {
828+
let path = Spanned{span:span,node:self_ident};
829829
Arg {
830830
// HACK(eddyb) fake type for the self argument.
831831
ty: P(Ty {
@@ -874,12 +874,13 @@ pub enum RetStyle {
874874
Return, // everything else
875875
}
876876

877+
/// Represents the kind of 'self' associated with a method
877878
#[deriving(Clone, PartialEq, Eq, Encodable, Decodable, Hash)]
878879
pub enum ExplicitSelf_ {
879-
SelfStatic, // no self
880-
SelfValue, // `self`
881-
SelfRegion(Option<Lifetime>, Mutability), // `&'lt self`, `&'lt mut self`
882-
SelfUniq // `~self`
880+
SelfStatic, // no self
881+
SelfValue(Ident), // `self`
882+
SelfRegion(Option<Lifetime>, Mutability, Ident), // `&'lt self`, `&'lt mut self`
883+
SelfUniq(Ident), // `~self`
883884
}
884885

885886
pub type ExplicitSelf = Spanned<ExplicitSelf_>;

‎src/libsyntax/ext/deriving/generic/mod.rs‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -191,6 +191,7 @@ use codemap;
191191
use codemap::Span;
192192
use owned_slice::OwnedSlice;
193193
use parse::token::InternedString;
194+
use parse::token::special_idents;
194195

195196
use self::ty::*;
196197

@@ -617,7 +618,8 @@ impl<'a> MethodDef<'a> {
617618

618619
let self_arg = match explicit_self.node {
619620
ast::SelfStatic => None,
620-
_ => Some(ast::Arg::new_self(trait_.span, ast::MutImmutable))
621+
// creating fresh self id
622+
_ => Some(ast::Arg::new_self(trait_.span, ast::MutImmutable, special_idents::self_))
621623
};
622624
let args = {
623625
let args = arg_types.move_iter().map(|(name, ty)| {

‎src/libsyntax/ext/deriving/generic/ty.rs‎

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ use ext::base::ExtCtxt;
1919
use ext::build::AstBuilder;
2020
use codemap::{Span,respan};
2121
use owned_slice::OwnedSlice;
22+
use parse::token::special_idents;
2223

2324
use std::gc::Gc;
2425

@@ -244,22 +245,23 @@ impl<'a> LifetimeBounds<'a> {
244245
}
245246
}
246247

247-
248248
pub fn get_explicit_self(cx: &ExtCtxt, span: Span, self_ptr: &Option<PtrTy>)
249249
-> (Gc<Expr>, ast::ExplicitSelf) {
250+
// this constructs a fresh `self` path, which will match the fresh `self` binding
251+
// created below.
250252
let self_path = cx.expr_self(span);
251253
match *self_ptr {
252254
None => {
253-
(self_path, respan(span, ast::SelfValue))
255+
(self_path, respan(span, ast::SelfValue(special_idents::self_)))
254256
}
255257
Some(ref ptr) => {
256258
let self_ty = respan(
257259
span,
258260
match *ptr {
259-
Send => ast::SelfUniq,
261+
Send => ast::SelfUniq(special_idents::self_),
260262
Borrowed(ref lt, mutbl) => {
261263
let lt = lt.map(|s| cx.lifetime(span, cx.ident_of(s).name));
262-
ast::SelfRegion(lt, mutbl)
264+
ast::SelfRegion(lt, mutbl, special_idents::self_)
263265
}
264266
});
265267
let self_expr = cx.expr_deref(span, self_path);

0 commit comments

Comments
 (0)