about summary refs log tree commit diff
path: root/src/libsyntax/parse
AgeCommit message (Collapse)AuthorLines
2012-07-17rustc: Implement and enforce instance coherencePatrick Walton-9/+70
2012-07-17Support attributes on class ctors and dtorsTim Chevalier-27/+32
Closes #2660
2012-07-16introduce an owned kind for data that contains no borrowed ptrsNiko Matsakis-7/+12
2012-07-14remove typestate from code, tests, and docsNiko Matsakis-147/+17
2012-07-14Get rid of ast::ty_vstore, which was only used for fixed length.Michael Sullivan-9/+10
2012-07-14Make the new world order normative. Closes #2908.Michael Sullivan-9/+0
2012-07-14Move the world over to using the new style string literals and types. Closes ↵Michael Sullivan-329/+331
#2907.
2012-07-13Handle prefix notations for strings in patterns. This is kind of gross.Michael Sullivan-2/+21
2012-07-13Support prefix notation for vstore strings. Closes #2906.Michael Sullivan-8/+15
2012-07-13Clean up various bugs with trait parsing.Lindsey Kuper-18/+23
2012-07-13More consistent use of backticks and "expected" in error messages.Lindsey Kuper-23/+27
Got some of the debug messages, here, too. I figure it doesn't hurt to get used to doing this even in places where users won't ever see it.
2012-07-13Refactor how impl self types are storedTim Chevalier-2/+2
In order to avoid a confusing use of the tcache, I added an extra node ID field to trait refs. Now trait refs have a "ref ID" (the one that resolve3 resolves) and an "impl ID" (the one that you look up in the tcache to get the self type). Closes #2434
2012-07-13Front-end support for default impls in traits.Lindsey Kuper-13/+43
2012-07-13change region syntax to &r/T in place of &r.TNiko Matsakis-7/+12
2012-07-12Obliterate the callee_id hackTim Chevalier-3/+7
Exprs that could be applications of overloaded operators (expr_unary, expr_binary, expr_index) relied on the previous node ID being "reserved" to carry extra typechecking info. This was incredibly error-prone. Fixed it; now all exprs have two node IDs (which will be wasted in some cases; future work could make this an option instead if the extra int field ends up being a performance problem). Closes #2804
2012-07-12Accept prefix notation for writing the types of str/~ and friends.Michael Sullivan-34/+17
2012-07-12Get rid of all of the remaining /~s in the code base.Michael Sullivan-11/+11
2012-07-11infer when types are region parameterized rather than requiring /&Niko Matsakis-31/+22
- removes various fields from various variants in the AST - also update tests not to use this notation
2012-07-11Fix (I think!) the ACTUALLY expr parsing situation.Paul Stansifer-32/+4
2012-07-10Visit item macros.Eric Holk-1/+0
2012-07-10Fix some lookahead problems with ACTUALLY tokens.Paul Stansifer-0/+2
2012-07-09Back out recognition of caret for unsafe ptr. Decided to abandon #2826 mid ↵Graydon Hoare-2/+1
way through.
2012-07-09Make the matcher parser treat `()` in a matchy way, like one would expect.Paul Stansifer-6/+25
2012-07-09Remove the tt macro demo.Paul Stansifer-41/+0
2012-07-09Allow defining token tree macros. They should work now!Paul Stansifer-6/+12
2012-07-09Add support for matchers nonterminals.Paul Stansifer-10/+12
2012-07-09rustc: Switch over to resolve3Patrick Walton-3/+4
2012-07-09Revert "rustc: Switch over to resolve3" due to Linux failuresPatrick Walton-4/+3
This reverts commit 2c0aa257e293dde91042a8045100d9923d139a04.
2012-07-09rustc: Switch over to resolve3Patrick Walton-3/+4
2012-07-09Remove 'cont' from parser/lexer.Graydon Hoare-3/+2
2012-07-09Switch 'cont' to 'again' everywhere. Close #2229.Graydon Hoare-3/+3
2012-07-09rustc: Add some changes I missedPatrick Walton-6/+6
2012-07-09rustc: Switch to the new resolution passPatrick Walton-1/+42
2012-07-06Revert "rustc: Switch to the new resolution pass"Niko Matsakis-42/+1
This reverts commit c4af6e92fbae171c56a4e68666025725555fc9d8. Branch was burning...many, many unresolved imports.
2012-07-06rustc: Switch to the new resolution passPatrick Walton-1/+42
2012-07-06First step on #2826, accept ^ for ty_ptr.Graydon Hoare-1/+2
2012-07-06For #2229, recognize 'again' in place of 'cont', final change pending snapshot.Graydon Hoare-4/+4
2012-07-06Fixing an infinite type, updating code to match new Early parser, ↵Eric Holk-1/+5
remembering to add protocol parser.
2012-07-06Adding token tree nonterminals to earley parser.Eric Holk-0/+1
2012-07-06Plumbing and parsing for item-position macros.Eric Holk-2/+25
2012-07-05Allow soft failure of the macro parser.Paul Stansifer-3/+5
2012-07-05Add new syntax for interpolation and repetition, and allow the transcription ↵Paul Stansifer-30/+49
of separators.
2012-07-05Start letting the parser catch interpolated ASTs.Paul Stansifer-4/+80
2012-07-05Update the new macro demo.Paul Stansifer-7/+21
2012-07-05Macro By Example transcription of token trees with interpolations and ↵Paul Stansifer-5/+17
dotdotdots.
2012-07-05Move earley_parser.rs to a more appropriate placePaul Stansifer-1/+1
2012-07-05Some rearranging in perparation for MBE-style TT transcription.Paul Stansifer-111/+35
2012-07-05Uncomment destructor in parser now that dtors workTim Chevalier-2/+1
Although this one is just a hack to make a class non-copyable. (Do we want syntax for that instead?)
2012-07-05Comments only: change TODOs to FIXMEs and annotate themTim Chevalier-1/+2
2012-07-05Mostly change TODOs to FIXMEs and annotate themTim Chevalier-1/+1
But, one change in io to implement a TODO suggestion (using a const u8)