summary refs log tree commit diff
path: root/src/libsyntax/parse
AgeCommit message (Collapse)AuthorLines
2014-11-20Switch numeric suffix parsing to use the new system.Huon Wilson-145/+99
This moves errors and all handling of numeric suffixes into the parser rather than the lexer.
2014-11-20Parse and store suffixes on literals.Huon Wilson-61/+179
This adds an optional suffix at the end of a literal token: `"foo"bar`. An actual use of a suffix in a expression (or other literal that the compiler reads) is rejected in the parser. This doesn't switch the handling of numbers to this system, and doesn't outlaw illegal suffixes for them yet.
2014-11-19Refactor QPath to take an ast::TraitRefNiko Matsakis-5/+5
2014-11-19Switch to an independent enum for `Lit*` subtokens.Huon Wilson-59/+52
2014-11-18auto merge of #19044 : murarth/rust/libsyntax-view-item, r=alexcrichtonbors-1/+34
Allows parsing view items (`use` and `extern crate`) individually. Does not change behavior of any existing functions. Closes #19024
2014-11-18Convert TyPolyTraitRef to accept arbitary bounds, so that things likeNiko Matsakis-3/+14
`Box<for<'a> Foo<&'a T> + 'a>` can be accepted. Also cleanup the visitor/fold in general, exposing more callbacks.
2014-11-17libsyntax: Add tests for `parse_view_item`Murarth-1/+26
2014-11-17libsyntax: Add `parse_view_item` method to ParserMurarth-0/+8
2014-11-18rollup merge of #19020: Gankro/better-warnJakub Bukaj-1/+2
Came up on IRC that this was a bit unhelpful as to what should actually be *done*. I am new to changing compiler messages, please let me know if there's anything else that needs to be done to accomadate this change. (My build system is still constantly crashing [Is bors contagious?], so this hasn't been formally `check`ed. I figure it's a simple enough change that any consequences [like compile-fail expected messages?] can be eyeballed by someone more experienced.)
2014-11-18rollup merge of #19018: tomjakubowski/fix-issue-19003Jakub Bukaj-1/+9
Make struct variant syntax more consistent with struct syntax and fix an assert in middle::typeck. Fix #19003
2014-11-17Switch to purely namespaced enumsSteven Fackler-0/+14
This breaks code that referred to variant names in the same namespace as their enum. Reexport the variants in the old location or alter code to refer to the new locations: ``` pub enum Foo { A, B } fn main() { let a = A; } ``` => ``` pub use self::Foo::{A, B}; pub enum Foo { A, B } fn main() { let a = A; } ``` or ``` pub enum Foo { A, B } fn main() { let a = Foo::A; } ``` [breaking-change]
2014-11-17slightly better deprecation message for fn syntaxAlexis Beingessner-1/+2
2014-11-16Disallow parsing of struct variants with 0 fieldsTom Jakubowski-1/+9
Make struct variant syntax more consistent with struct syntax and fix an assert in middle::typeck. Fix #19003
2014-11-16auto merge of #18994 : sfackler/rust/struct-variants-pt2, r=jakub-bors-4/+8
Struct variant field visibility is now inherited. Remove `pub` keywords from declarations. Closes #18641 [breaking-change] r? @alexcrichton
2014-11-16Complete the removal of ty_nil, ast::LitNil, ast::TyBot and ast::TyUniqJakub Bukaj-103/+66
[breaking-change] This will break any uses of macros that assumed () being a valid literal.
2014-11-15Un-feature gate struct variantsSteven Fackler-4/+8
Struct variant field visibility is now inherited. Remove `pub` keywords from declarations. Closes #18641 [breaking-change]
2014-11-14auto merge of #18840 : huonw/rust/tweaks, r=alexcrichtonbors-24/+47
Fix some old papercuts with diagnostics, e.g. tweaking spans, rewording messages. See individual commits.
2014-11-14auto merge of #18827 : bjz/rust/rfc369-numerics, r=alexcrichtonbors-1/+3
This implements a considerable portion of rust-lang/rfcs#369 (tracked in #18640). Some interpretations had to be made in order to get this to work. The breaking changes are listed below: [breaking-change] - `core::num::{Num, Unsigned, Primitive}` have been deprecated and their re-exports removed from the `{std, core}::prelude`. - `core::num::{Zero, One, Bounded}` have been deprecated. Use the static methods on `core::num::{Float, Int}` instead. There is no equivalent to `Zero::is_zero`. Use `(==)` with `{Float, Int}::zero` instead. - `Signed::abs_sub` has been moved to `std::num::FloatMath`, and is no longer implemented for signed integers. - `core::num::Signed` has been removed, and its methods have been moved to `core::num::Float` and a new trait, `core::num::SignedInt`. The methods now take the `self` parameter by value. - `core::num::{Saturating, CheckedAdd, CheckedSub, CheckedMul, CheckedDiv}` have been removed, and their methods moved to `core::num::Int`. Their parameters are now taken by value. This means that - `std::time::Duration` no longer implements `core::num::{Zero, CheckedAdd, CheckedSub}` instead defining the required methods non-polymorphically. - `core::num::{zero, one, abs, signum}` have been deprecated. Use their respective methods instead. - The `core::num::{next_power_of_two, is_power_of_two, checked_next_power_of_two}` functions have been deprecated in favor of methods defined a new trait, `core::num::UnsignedInt` - `core::iter::{AdditiveIterator, MultiplicativeIterator}` are now only implemented for the built-in numeric types. - `core::iter::{range, range_inclusive, range_step, range_step_inclusive}` now require `core::num::Int` to be implemented for the type they a re parametrized over.
2014-11-13Use the correct span for out-of-range int literals.Huon Wilson-1/+2
This corrects the error message to point at the literal, not the next token. Closes #17123.
2014-11-13Add more "help: ..."'s to the parser.Huon Wilson-23/+38
Adds a method for printing a fatal error and also a help message to the parser and uses this in a variety of places to improve error messages. Closes #12213.
2014-11-13Add error message specific to \<carriage return>.Huon Wilson-0/+7
This can crop-up with a misconfigured editor or an unexpected interaction between version control and certain operating systems. Closes #11669.
2014-11-13Remove lots of numeric traits from the preludesBrendan Zabarauskas-0/+2
Num, NumCast, Unsigned, Float, Primitive and Int have been removed.
2014-11-13Move checked arithmetic operators into Int traitBrendan Zabarauskas-1/+1
2014-11-11libsyntax: Forbid type parameters in field expressions.Patrick Walton-1/+8
This breaks code like: struct Foo { x: int, } let f: Foo = ...; ... f.x::<int> ... Change this code to not contain an unused type parameter. For example: struct Foo { x: int, } let f: Foo = ...; ... f.x ... Closes #18680. [breaking-change]
2014-11-11syntax: improve message for misused inner attributesLiigo Zhuang-0/+2
2014-11-07Purge the old `once_fns`, which are not coming backNiko Matsakis-30/+29
2014-11-07Update parser with `for` syntaxNiko Matsakis-136/+174
2014-11-07auto merge of #17830 : pczarn/rust/interp_tt, r=pnkfelixbors-70/+36
Closes #14197 Removes the `matchers` nonterminal. If you're using `$foo:matchers` in a macro, write `$foo:tt` instead. [breaking-change]
2014-11-07Add `ast::SequenceRepetition`Piotr Czarnecki-2/+9
2014-11-06Remove the unboxed closure `|:|` notation from types and trait references ↵Niko Matsakis-50/+16
completely.
2014-11-06Support parenthesized paths `Foo(A,B) -> C` that expand to `Foo<(A,B),C>`. ↵Niko Matsakis-60/+62
These paths also bind anonymous regions (or will, once HRTB is fully working). Fixes #18423.
2014-11-06Restructure parsing of paths, which is quite torturedNiko Matsakis-42/+108
2014-11-05Remove `Matcher`sPiotr Czarnecki-64/+2
2014-11-05Use `TokenTree`s in lhs of macrosPiotr Czarnecki-5/+26
2014-11-05Register snapshots.Eduard Burtescu-94/+0
2014-11-04libsyntax: Forbid escapes in the inclusive range `\x80`-`\xff` inPatrick Walton-4/+19
Unicode characters and strings. Use `\u0080`-`\u00ff` instead. ASCII/byte literals are unaffected. This PR introduces a new function, `escape_default`, into the ASCII module. This was necessary for the pretty printer to continue to function. RFC #326. Closes #18062. [breaking-change]
2014-11-03rollup merge of #18562 : nick29581/dxr-1Alex Crichton-17/+16
2014-11-03rollup merge of #18506 : nikomatsakis/assoc-type-boundsAlex Crichton-7/+4
2014-11-03rollup merge of #18318 : arielb1/transmute-cleanupAlex Crichton-2/+2
2014-11-03Restructure AST so that the associated type definition carriesNiko Matsakis-7/+4
bounds like any other "type parameter".
2014-11-03Clean-up transmutes in libsyntaxAriel Ben-Yehuda-2/+2
2014-11-03Ignore whitespace tokens when re-computing spans in save_analysisNick Cameron-17/+16
2014-11-02Convert some notes to help messagesP1start-5/+14
Closes #18126.
2014-10-30Test fixes and rebase conflictsAlex Crichton-7/+7
2014-10-30rollup merge of #18430 : bjz/tokenAlex Crichton-296/+273
Conflicts: src/libsyntax/parse/parser.rs
2014-10-30rollup merge of #18398 : aturon/lint-conventions-2Alex Crichton-2/+2
Conflicts: src/libcollections/slice.rs src/libcore/failure.rs src/libsyntax/parse/token.rs src/test/debuginfo/basic-types-mut-globals.rs src/test/debuginfo/simple-struct.rs src/test/debuginfo/trait-pointers.rs
2014-10-30Add a message for when a `.` follows a macro invocationP1start-0/+10
2014-10-30Improve the error message for parenthesised box expressionsP1start-0/+14
Closes #15386.
2014-10-30Formatting fixesBrendan Zabarauskas-13/+21
2014-10-30Remove Token::get_close_delimiterBrendan Zabarauskas-58/+33
We can simplify these usages due to the new delimiter representation. `Parser::expect_open_delim` has been added for convenience.