From d46e84081f88f22198fbfcd5221faaf922e0500d Mon Sep 17 00:00:00 2001 From: Tim Neumann Date: Mon, 10 Aug 2015 20:40:46 +0200 Subject: add and use Span.substitute_dummy method --- src/libsyntax/codemap.rs | 7 +++++++ src/libsyntax/ext/tt/macro_rules.rs | 23 ++++++----------------- 2 files changed, 13 insertions(+), 17 deletions(-) (limited to 'src/libsyntax') diff --git a/src/libsyntax/codemap.rs b/src/libsyntax/codemap.rs index 17e6b2c2e12..0aeb572b6bc 100644 --- a/src/libsyntax/codemap.rs +++ b/src/libsyntax/codemap.rs @@ -135,6 +135,13 @@ pub const COMMAND_LINE_SP: Span = Span { lo: BytePos(0), hi: BytePos(0), expn_id: COMMAND_LINE_EXPN }; +impl Span { + /// Returns `self` if `self` is not the dummy span, and `other` otherwise. + pub fn substitute_dummy(self, other: Span) -> Span { + if self == DUMMY_SP { other } else { self } + } +} + #[derive(Clone, PartialEq, Eq, RustcEncodable, RustcDecodable, Hash, Debug, Copy)] pub struct Spanned { pub node: T, diff --git a/src/libsyntax/ext/tt/macro_rules.rs b/src/libsyntax/ext/tt/macro_rules.rs index 53e3127086c..d728fa59bd1 100644 --- a/src/libsyntax/ext/tt/macro_rules.rs +++ b/src/libsyntax/ext/tt/macro_rules.rs @@ -211,12 +211,8 @@ fn generic_extension<'cx>(cx: &'cx ExtCtxt, best_fail_spot = sp; best_fail_msg = (*msg).clone(); }, - Error(mut spp, ref msg) => { - if spp == DUMMY_SP { - spp = sp; - } - - panic!(cx.span_fatal(spp, &msg[..])) + Error(err_sp, ref msg) => { + panic!(cx.span_fatal(err_sp.substitute_dummy(sp), &msg[..])) } } } @@ -224,11 +220,7 @@ fn generic_extension<'cx>(cx: &'cx ExtCtxt, } } - if best_fail_spot == DUMMY_SP { - best_fail_spot = sp; - } - - panic!(cx.span_fatal(best_fail_spot, &best_fail_msg[..])); + panic!(cx.span_fatal(best_fail_spot.substitute_dummy(sp), &best_fail_msg[..])); } // Note that macro-by-example's input is also matched against a token tree: @@ -283,12 +275,9 @@ pub fn compile<'cx>(cx: &'cx mut ExtCtxt, arg_reader, &argument_gram) { Success(m) => m, - Failure(mut sp, str) | Error(mut sp, str) => { - if sp == DUMMY_SP { - sp = def.span; - } - - panic!(cx.parse_sess().span_diagnostic.span_fatal(sp, &str[..])); + Failure(sp, str) | Error(sp, str) => { + panic!(cx.parse_sess().span_diagnostic + .span_fatal(sp.substitute_dummy(def.span), &str[..])); } }; -- cgit 1.4.1-3-g733a5