about summary refs log tree commit diff
path: root/src/libsyntax
AgeCommit message (Collapse)AuthorLines
2014-09-23auto merge of #17028 : pcwalton/rust/higher-rank-trait-lifetimes, r=pnkfelixbors-8/+53
They will ICE during typechecking if used, because they depend on trait reform. This is part of unboxed closures. r? @nikomatsakis
2014-09-22librustc: Parse and resolve higher-rank lifetimes in traits.Patrick Walton-8/+53
They will ICE during typechecking if used, because they depend on trait reform. This is part of unboxed closures.
2014-09-22librustc: Forbid private types in public APIs.Patrick Walton-0/+4
This breaks code like: struct Foo { ... } pub fn make_foo() -> Foo { ... } Change this code to: pub struct Foo { // note `pub` ... } pub fn make_foo() -> Foo { ... } The `visible_private_types` lint has been removed, since it is now an error to attempt to expose a private type in a public API. In its place a `#[feature(visible_private_types)]` gate has been added. Closes #16463. RFC #48. [breaking-change]
2014-09-22manual -> reference & formattingSteve Klabnik-1/+1
'reference' sounds better than 'manual' to me here, and rust.html is certainly wrong. I also wrapped everything to 80 cols.
2014-09-22auto merge of #17339 : treeman/rust/doc-things, r=alexcrichtonbors-156/+129
Also some cleanup to conform to documentation style.
2014-09-21auto merge of #17415 : jakub-/rust/issue-17383, r=huonwbors-5/+7
Fixes #17383.
2014-09-21Fix the span for discriminators in non-C-like enumsJakub Wieczorek-5/+7
Fixes #17383.
2014-09-20libsyntax: Explicit error message for sugared doc comments.Mike Boutin-11/+28
Display an explicit message about items missing after sugared doc comment attributes. References #2789.
2014-09-20auto merge of #17319 : kmcallister/rust/method-macro-bt, r=pcwaltonbors-1/+4
We were leaving these on the stack, causing spurious backtraces.
2014-09-19rollup merge of #17379 : pcwalton/keywords-followed-by-double-colonAlex Crichton-35/+48
2014-09-19rollup merge of #17338 : nick29581/variants-namespaceAlex Crichton-27/+28
2014-09-19rollup merge of #17318 : nick29581/sliceAlex Crichton-10/+131
2014-09-19rollup merge of #17314 : eddyb/span-no-gcAlex Crichton-123/+133
2014-09-19rollup merge of #17236 : fhahn/issue-16723-multiple-itemsAlex Crichton-20/+15
2014-09-19Allow syntax extensions to return multiple items, closes #16723.Florian Hahn-20/+15
This patch replaces `MacItem` with `MacItems`.
2014-09-19Add enum variants to the type namespaceNick Cameron-27/+28
Change to resolve and update compiler and libs for uses. [breaking-change] Enum variants are now in both the value and type namespaces. This means that if you have a variant with the same name as a type in scope in a module, you will get a name clash and thus an error. The solution is to either rename the type or the variant.
2014-09-18librustc: Implement the syntax in the RFC for unboxed closure sugar.Patrick Walton-81/+77
Part of issue #16640. I am leaving this issue open to handle parsing of higher-rank lifetimes in traits. This change breaks code that used unboxed closures: * Instead of `F:|&: int| -> int`, write `F:Fn(int) -> int`. * Instead of `F:|&mut: int| -> int`, write `F:FnMut(int) -> int`. * Instead of `F:|: int| -> int`, write `F:FnOnce(int) -> int`. [breaking-change]
2014-09-18libsyntax: Disallow keywords followed by `::`.Patrick Walton-35/+48
This breaks code that looked like: mymacro!(static::foo); ... where `mymacro!` expects a path or expression. Change such macros to not accept keywords followed by `::`. Closes #17298. [breaking-change]
2014-09-19Implement slicing syntax.Nick Cameron-10/+131
`expr[]`, `expr[expr..]`, `expr[..expr]`,`expr[expr..expr]` Uses the Slice and SliceMut traits. Allows ... as well as .. in range patterns.
2014-09-18Fix fallout in tests from removing the use of Gc in ExpnInfo.Eduard Burtescu-10/+10
2014-09-18syntax: use an index in CodeMap instead of Gc for ExpnInfo.Eduard Burtescu-113/+123
2014-09-17librustc: Implement associated types behind a feature gate.Patrick Walton-155/+530
The implementation essentially desugars during type collection and AST type conversion time into the parameter scheme we have now. Only fully qualified names--e.g. `<T as Foo>::Bar`--are supported.
2014-09-17auto merge of #17343 : alexcrichton/rust/rollup, r=alexcrichtonbors-34/+31
2014-09-17Pop the expansion context after expanding a method macroKeegan McAllister-1/+4
We were leaving these on the stack, causing spurious backtraces. I've confirmed that this test fails without the fix.
2014-09-17auto merge of #16836 : P1start/rust/closure_ret_bang, r=alexcrichtonbors-10/+10
Fixes #13490.
2014-09-17rollup merge of #17290 : bkoropoff/issue-17283Alex Crichton-34/+31
2014-09-17doc: Remove "see above".Jonas Hietala-4/+3
2014-09-17doc: Backticks and spelling mistakes.Jonas Hietala-13/+13
2014-09-17doc: Cleanup.Jonas Hietala-149/+123
Remove ~~~ for code block specification. Use /// Over /** */ for doc blocks.
2014-09-17rebasing fixesNick Cameron-6/+4
2014-09-17move feature_gate to libsyntaxNick Cameron-0/+462
2014-09-17move std_inject to libsyntaxNick Cameron-0/+236
2014-09-17move most of front to libsyntaxNick Cameron-0/+889
2014-09-16Propagate restrictions against struct literals to the RHS of assignmentsBrian Koropoff-2/+3
This prevents confusing errors when accidentally using an assignment in an `if` expression. For example: ```rust fn main() { let x = 1u; if x = x { println!("{}", x); } } ``` Previously, this yielded: ``` test.rs:4:16: 4:17 error: expected `:`, found `!` test.rs:4 println!("{}", x); ^ ``` With this change, it now yields: ``` test.rs:3:8: 3:13 error: mismatched types: expected `bool`, found `()` (expected bool, found ()) test.rs:3 if x = x { ^~~~~ ``` Closes issue #17283
2014-09-16Convert restriction enum into bitflagsBrian Koropoff-32/+28
This makes having multiple restrictions at once cleaner. Also drop NO_DOUBLEBAR restriction since it is never used.
2014-09-17auto merge of #17223 : retep998/rust/into_string, r=huonwbors-42/+42
Replaces some usage of `.to_string()` with `.into_string()`
2014-09-16Fallout from renamingAaron Turon-74/+80
2014-09-16auto merge of #17280 : thestinger/rust/heap, r=pcwaltonbors-2/+2
2014-09-15auto merge of #17221 : bkoropoff/rust/strinterner-unsafe, r=sfacklerbors-11/+0
The `StrInterner::clear()` method takes self immutably but can invalidate references returned by `StrInterner::get_ref`. Since `get_ref` is unused, just remove it. Closes #17181
2014-09-15heap: optimize EMPTY to avoid relocationsDaniel Micay-2/+2
Sized deallocation makes it pointless to provide an address that never overlaps with pointers returned by an allocator. Code can branch on the capacity of the allocation instead of a comparison with this sentinel. This improves the situation in #8859, and the remaining issues are only from the logging API, which should be disabled by default in optimized release builds anyway along with debug assertions. The remaining issues are part of #17081. Closes #8859
2014-09-14auto merge of #17163 : pcwalton/rust/impls-next-to-struct, r=alexcrichtonbors-0/+1
type they provide an implementation for. This breaks code like: mod foo { struct Foo { ... } } impl foo::Foo { ... } Change this code to: mod foo { struct Foo { ... } impl Foo { ... } } Closes #17059. RFC #155. [breaking-change] r? @brson
2014-09-14Add help diagnostic messagesP1start-11/+31
This adds ‘help’ diagnostic messages to rustc. This is used for anything that provides help to the user, particularly the `--explain` messages that were previously integrated into the relevant error message.
2014-09-14syntax: document the ptr module.Eduard Burtescu-1/+30
2014-09-14syntax: implement in-place folding of P<T> and Vec<T>.Eduard Burtescu-4/+17
2014-09-14syntax: tests: fix fallout from using ptr::P.Eduard Burtescu-16/+16
2014-09-14syntax: fix fallout from using ptr::P.Eduard Burtescu-1688/+1529
2014-09-14syntax: ast_map: use borrowed references into the AST.Eduard Burtescu-268/+366
2014-09-14syntax: fold: use move semantics for efficient folding.Eduard Burtescu-722/+691
2014-09-14syntax: ast: replace Gc<T> (previously @T) with P<T>.Eduard Burtescu-77/+76
2014-09-14syntax: add a custom owned smart pointer in ptr::P.Eduard Burtescu-10/+82