diff options
| author | Benjamin Herr <ben@0x539.de> | 2013-09-19 16:11:23 +0200 |
|---|---|---|
| committer | Benjamin Herr <ben@0x539.de> | 2013-09-19 16:58:11 +0200 |
| commit | 101917795898b602340d96a6c0f7815d108af1af (patch) | |
| tree | efac5b3a02dfeea43cc24cdc3db2f10dc0502899 /src/libsyntax/parse | |
| parent | d2b0b11aebfe3167bf41f7c6c31cf7b1e396efe7 (diff) | |
| download | rust-101917795898b602340d96a6c0f7815d108af1af.tar.gz rust-101917795898b602340d96a6c0f7815d108af1af.zip | |
lexer: show correct span on lexical errors
Previously, the lexer calling `rdr.fatal(...)` would report the span of the last complete token, instead of a span within the erroneous token (besides one span fixed in 1ac90bb). This commit adds a wrapper around `rdr.fatal(...)` that sets the span explicilty, so that all fatal errors in `libsyntax/parse/lexer.rs` now report the offending code more precisely. A number of tests try to verify that, though the `compile-fail` testing setup can only check that the spans are on the right lines, and the "unterminated string/block comment" errors can't have the line marked at all, so that's incomplete. Closes #9149.
Diffstat (limited to 'src/libsyntax/parse')
| -rw-r--r-- | src/libsyntax/parse/lexer.rs | 78 |
1 files changed, 59 insertions, 19 deletions
diff --git a/src/libsyntax/parse/lexer.rs b/src/libsyntax/parse/lexer.rs index 0bc9e619274..3d686167ce1 100644 --- a/src/libsyntax/parse/lexer.rs +++ b/src/libsyntax/parse/lexer.rs @@ -149,6 +149,16 @@ impl reader for TtReader { fn dup(@mut self) -> @mut reader { dup_tt_reader(self) as @mut reader } } +// report a lexical error spanning [`from_pos`, `to_pos`) +fn fatal_span(rdr: @mut StringReader, + from_pos: BytePos, + to_pos: BytePos, + m: ~str) + -> ! { + rdr.peek_span = codemap::mk_sp(from_pos, to_pos); + rdr.fatal(m); +} + // EFFECT: advance peek_tok and peek_span to refer to the next token. // EFFECT: update the interner, maybe. fn string_advance_token(r: @mut StringReader) { @@ -327,7 +337,8 @@ fn consume_block_comment(rdr: @mut StringReader) bump(rdr); } if is_eof(rdr) { - rdr.fatal(~"unterminated block doc-comment"); + fatal_span(rdr, start_bpos, rdr.last_pos, + ~"unterminated block doc-comment"); } else { bump(rdr); bump(rdr); @@ -344,8 +355,12 @@ fn consume_block_comment(rdr: @mut StringReader) } } } else { + let start_bpos = rdr.last_pos - BytePos(2u); loop { - if is_eof(rdr) { rdr.fatal(~"unterminated block comment"); } + if is_eof(rdr) { + fatal_span(rdr, start_bpos, rdr.last_pos, + ~"unterminated block comment"); + } if rdr.curr == '*' && nextch(rdr) == '/' { bump(rdr); bump(rdr); @@ -362,6 +377,7 @@ fn consume_block_comment(rdr: @mut StringReader) } fn scan_exponent(rdr: @mut StringReader) -> Option<~str> { + let start_bpos = rdr.last_pos; let mut c = rdr.curr; let mut rslt = ~""; if c == 'e' || c == 'E' { @@ -375,7 +391,10 @@ fn scan_exponent(rdr: @mut StringReader) -> Option<~str> { let exponent = scan_digits(rdr, 10u); if exponent.len() > 0u { return Some(rslt + exponent); - } else { rdr.fatal(~"scan_exponent: bad fp literal"); } + } else { + fatal_span(rdr, start_bpos, rdr.last_pos, + ~"scan_exponent: bad fp literal"); + } } else { return None::<~str>; } } @@ -399,6 +418,7 @@ fn scan_number(c: char, rdr: @mut StringReader) -> token::Token { let mut base = 10u; let mut c = c; let mut n = nextch(rdr); + let start_bpos = rdr.last_pos; if c == '0' && n == 'x' { bump(rdr); bump(rdr); @@ -442,11 +462,13 @@ fn scan_number(c: char, rdr: @mut StringReader) -> token::Token { else { either::Right(ast::ty_u64) }; } if num_str.len() == 0u { - rdr.fatal(~"no valid digits found for number"); + fatal_span(rdr, start_bpos, rdr.last_pos, + ~"no valid digits found for number"); } let parsed = match from_str_radix::<u64>(num_str, base as uint) { Some(p) => p, - None => rdr.fatal(~"int literal is too large") + None => fatal_span(rdr, start_bpos, rdr.last_pos, + ~"int literal is too large") }; match tp { @@ -464,8 +486,10 @@ fn scan_number(c: char, rdr: @mut StringReader) -> token::Token { } if is_float { match base { - 16u => rdr.fatal(~"hexadecimal float literal is not supported"), - 2u => rdr.fatal(~"binary float literal is not supported"), + 16u => fatal_span(rdr, start_bpos, rdr.last_pos, + ~"hexadecimal float literal is not supported"), + 2u => fatal_span(rdr, start_bpos, rdr.last_pos, + ~"binary float literal is not supported"), _ => () } } @@ -507,11 +531,13 @@ fn scan_number(c: char, rdr: @mut StringReader) -> token::Token { return token::LIT_FLOAT_UNSUFFIXED(str_to_ident(num_str)); } else { if num_str.len() == 0u { - rdr.fatal(~"no valid digits found for number"); + fatal_span(rdr, start_bpos, rdr.last_pos, + ~"no valid digits found for number"); } let parsed = match from_str_radix::<u64>(num_str, base as uint) { Some(p) => p, - None => rdr.fatal(~"int literal is too large") + None => fatal_span(rdr, start_bpos, rdr.last_pos, + ~"int literal is too large") }; debug!("lexing %s as an unsuffixed integer literal", @@ -523,19 +549,23 @@ fn scan_number(c: char, rdr: @mut StringReader) -> token::Token { fn scan_numeric_escape(rdr: @mut StringReader, n_hex_digits: uint) -> char { let mut accum_int = 0; let mut i = n_hex_digits; + let start_bpos = rdr.last_pos; while i != 0u { let n = rdr.curr; - bump(rdr); if !is_hex_digit(n) { - rdr.fatal(fmt!("illegal numeric character escape: %d", n as int)); + fatal_span(rdr, rdr.last_pos, rdr.pos, + fmt!("illegal numeric character escape: %d", + n as int)); } + bump(rdr); accum_int *= 16; accum_int += hex_digit_val(n); i -= 1u; } match char::from_u32(accum_int as u32) { Some(x) => x, - None => rdr.fatal(fmt!("illegal numeric character escape")) + None => fatal_span(rdr, start_bpos, rdr.last_pos, + fmt!("illegal numeric character escape")) } } @@ -691,6 +721,7 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { if c2 == '\\' { // '\X' for some X must be a character constant: let escaped = rdr.curr; + let escaped_pos = rdr.last_pos; bump(rdr); match escaped { 'n' => { c2 = '\n'; } @@ -704,12 +735,18 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { 'u' => { c2 = scan_numeric_escape(rdr, 4u); } 'U' => { c2 = scan_numeric_escape(rdr, 8u); } c2 => { - rdr.fatal(fmt!("unknown character escape: %d", c2 as int)); + fatal_span(rdr, escaped_pos, rdr.last_pos, + fmt!("unknown character escape: %d", c2 as int)); } } } if rdr.curr != '\'' { - rdr.fatal(~"unterminated character constant"); + fatal_span(rdr, + // Byte offsetting here is okay because the character + // before position `start` is an ascii single quote. + start - BytePos(1u), + rdr.last_pos, + ~"unterminated character constant"); } bump(rdr); // advance curr past token return token::LIT_CHAR(c2 as u32); @@ -721,7 +758,9 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { while rdr.curr != '"' { if is_eof(rdr) { do with_str_from(rdr, n) |s| { - rdr.fatal(fmt!("unterminated double quote string: %s", s)); + fatal_span(rdr, n, rdr.last_pos, + fmt!("unterminated double quote string: %s", + s)); } } @@ -730,6 +769,7 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { match ch { '\\' => { let escaped = rdr.curr; + let escaped_pos = rdr.last_pos; bump(rdr); match escaped { 'n' => accum_str.push_char('\n'), @@ -750,7 +790,8 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { accum_str.push_char(scan_numeric_escape(rdr, 8u)); } c2 => { - rdr.fatal(fmt!("unknown string escape: %d", c2 as int)); + fatal_span(rdr, escaped_pos, rdr.last_pos, + fmt!("unknown string escape: %d", c2 as int)); } } } @@ -786,11 +827,10 @@ fn next_token_inner(rdr: @mut StringReader) -> token::Token { '^' => { return binop(rdr, token::CARET); } '%' => { return binop(rdr, token::PERCENT); } c => { - // So the error span points to the unrecognized character - rdr.peek_span = codemap::mk_sp(rdr.last_pos, rdr.pos); let mut cs = ~""; char::escape_default(c, |c| cs.push_char(c)); - rdr.fatal(fmt!("unknown start of token: %s", cs)); + fatal_span(rdr, rdr.last_pos, rdr.pos, + fmt!("unknown start of token: %s", cs)); } } } |
