Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | remove dead code | Aleksey Kladov | 2019-04-01 | 1 | -1/+0 | |
| | | | ||||||
* | | | intelligently add parens when inlining local varaibles | gfreezy | 2019-04-01 | 1 | -0/+1 | |
|/ / | ||||||
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -33/+2 | |
| | | ||||||
* | | Add WherePred to allow predicate access in WhereClause | Ville Penttinen | 2019-03-31 | 1 | -1/+14 | |
| | | | | | | | | | | This also unifies parsing of WHERE_PRED bounds, now Lifetime bounds will also be parsed using TYPE_BOUND_LIST | |||||
* | | Add trait ast::TypeBoundsOwner | Ville Penttinen | 2019-03-31 | 1 | -5/+10 | |
| | | ||||||
* | | Add new TYPE_BOUND_LIST and TYPE_BOUND syntax kinds | Ville Penttinen | 2019-03-30 | 1 | -0/+13 | |
|/ | | | | | | These are now used when parsing type bounds. In addition parsing paths inside a bound now does not recursively parse paths, rather they are treated as separate bounds, separated by +. | |||||
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -1/+4 | |
| | ||||||
* | add name resolution from the old impl | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 | |
| | | | | unlike the old impl, this also handles macro imports across crates | |||||
* | Add async keyword | Caio | 2019-03-09 | 1 | -0/+1 | |
| | ||||||
* | Remove `TypeRef` from item opts which implement TypeAscriptionOwner | Ville Penttinen | 2019-02-27 | 1 | -6/+11 | |
| | ||||||
* | Add new trait TypeAscriptionOwner | Ville Penttinen | 2019-02-26 | 1 | -9/+24 | |
| | | | | | This trait should be implemented for nodes which have an ascribed type, e.g. thing : Type. Such as let, const, static, param, named struct fields. | |||||
* | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 1 | -4/+4 | |
| | ||||||
* | Enable parsing attributes for generic lifetimes and type parameters | Ville Penttinen | 2019-02-17 | 1 | -2/+5 | |
| | ||||||
* | Enable parsing of attributes inside a match block | Ville Penttinen | 2019-02-17 | 1 | -1/+3 | |
| | | | | | | | We allow invalid inner attributes to be parsed, e.g. inner attributes that are not directly after the opening brace of the match block. Instead we run validation on `MatchArmList` to allow better reporting of errors. | |||||
* | Handle generic args for method calls | Florian Diebold | 2019-02-16 | 1 | -1/+1 | |
| | ||||||
* | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 1 | -1/+1 | |
| | ||||||
* | Import the prelude | Florian Diebold | 2019-02-13 | 1 | -1/+2 | |
| | ||||||
* | make macro a NameOwner | Aleksey Kladov | 2019-02-11 | 1 | -1/+4 | |
| | ||||||
* | Fix handling of literal patterns | Florian Diebold | 2019-02-09 | 1 | -0/+3 | |
| | | | | | Wrap them in a LiteralPat node so they can be distinguished from literal expressions. | |||||
* | Fill deprecation for LSP | kjeremy | 2019-02-05 | 1 | -1/+1 | |
| | ||||||
* | Add AST for extern crate | Florian Diebold | 2019-02-04 | 1 | -1/+3 | |
| | | | | Also change it to parse the crate name as a NAME_REF, not a NAME. | |||||
* | Pass aliases to ImportData | Florian Diebold | 2019-02-01 | 1 | -1/+4 | |
| | ||||||
* | convert punts and literals | Aleksey Kladov | 2019-01-31 | 1 | -6/+8 | |
| | ||||||
* | Merge #692 | bors[bot] | 2019-01-31 | 1 | -0/+3 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 692: [WIP] Correctly parse attributes r=matklad a=DJMcNab Reference - https://doc.rust-lang.org/reference/attributes.html This fixes/investigates inner attributes for: - [x] `impl` blocks - [x] `extern` blocks - [x] `fn`s (fixes #689) - [x] `mod`s (already supported) - [x] 'block expressions' (the long text just describes all 'blocks' used as statements) This also investigates/fixes outer attributes for: - [ ] 'most statements' (see also: #685, https://doc.rust-lang.org/reference/expressions.html#expression-attributes) - [x] Enum variants, Struct and Union fields (Fixed in #507) - [ ] 'Match expression arms' (@matklad can you provide a test case which explains what this means?) - [ ] 'Generic lifetime or type parameters' - [ ] 'Elements of array expressions, tuple expressions, call expressions, tuple-style struct and enum variant expressions' - [ ] 'The tail expression of block expressions' Co-authored-by: DJMcNab <[email protected]> | |||||
| * | Parse and validate attributes in blocks | DJMcNab | 2019-01-28 | 1 | -0/+3 | |
| | | ||||||
* | | Infer type of match guard | Marcus Klaas de Vries | 2019-01-28 | 1 | -1/+1 | |
|/ | ||||||
* | rename POS_FIELD -> POS_FIELD_DEF | Aleksey Kladov | 2019-01-25 | 1 | -4/+4 | |
| | | | | to match NAMED_FIELD_DEF | |||||
* | Add docs to struct fields | Jeremy A. Kolb | 2019-01-25 | 1 | -1/+1 | |
| | ||||||
* | Merge #630 | bors[bot] | 2019-01-25 | 1 | -21/+30 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | 630: Fill in DocumentSymbol::detail r=matklad a=hban Closes: #516 I just pulled type text from the syntax node and "formatted" is bit. VS Code can't really handle multi-line symbol detail (it's will crop it when rendering), so that formatting will just collapse all white-space to singe space. It isn't pretty, but maybe there's a better way. Issue also mentions "need to be done for `NavigationTarget` to `SymbolInformation`", but `SymbolInformation` doesn't have detail field on it? Co-authored-by: Hrvoje Ban <[email protected]> | |||||
| * | Fill in DocumentSymbol::detail | Hrvoje Ban | 2019-01-24 | 1 | -21/+30 | |
| | | ||||||
* | | Migrate trait & type to new ids | Aleksey Kladov | 2019-01-24 | 1 | -2/+2 | |
|/ | ||||||
* | Make EnumVariant a DocCommentsOwner | Jeremy A. Kolb | 2019-01-23 | 1 | -1/+1 | |
| | ||||||
* | Add AST/HIR for type args in path segments | Florian Diebold | 2019-01-19 | 1 | -1/+9 | |
| | ||||||
* | Change parsing of struct field patterns | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+6 | |
| | ||||||
* | Move parsing of field pattern lists to the parser (where it belongs) | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+6 | |
| | ||||||
* | Add initial (flawed) implementation of binding annotations | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+4 | |
| | ||||||
* | Create struct patterns up to the hir level | Marcus Klaas de Vries | 2019-01-19 | 1 | -3/+2 | |
| | ||||||
* | Add additional pattern variants | Marcus Klaas de Vries | 2019-01-19 | 1 | -2/+2 | |
| | ||||||
* | Update ARRAY_EXPR grammar | Hirokazu Hata | 2019-01-16 | 1 | -1/+3 | |
| | ||||||
* | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 1 | -0/+4 | |
| | ||||||
* | Fixup tests | Marcus Klaas de Vries | 2019-01-14 | 1 | -4/+7 | |
| | ||||||
* | Start moving literal interpretation to the AST (WIP) | Marcus Klaas de Vries | 2019-01-14 | 1 | -2/+16 | |
| | ||||||
* | Update TUPLE_EXPR grammar | Hirokazu Hata | 2019-01-13 | 1 | -1/+3 | |
| | ||||||
* | support ref-patterns | Aleksey Kladov | 2019-01-13 | 1 | -1/+1 | |
| | ||||||
* | itroduce trait for ast tokens | Aleksey Kladov | 2019-01-08 | 1 | -7/+7 | |
| | ||||||
* | Add remaining binary operations to AST | Marcus Klaas de Vries | 2019-01-07 | 1 | -0/+1 | |
| | ||||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 1 | -6/+4 | |
| | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | |||||
* | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 1 | -2/+2 | |
| | ||||||
* | Type the self parameter | Florian Diebold | 2019-01-04 | 1 | -1/+2 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -1/+5 | |
| | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. |