aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src/ast
Commit message (Collapse)AuthorAgeFilesLines
...
* add is_union to structs ASTAleksey Kladov2019-05-201-1/+17
|
* apply T! macro where it is possibleSergey Parilin2019-05-152-60/+61
|
* Handle auto traits & negative implsFlorian Diebold2019-05-111-0/+10
| | | | | We don't pass field types to Chalk yet though, so the auto trait inference won't be correct.
* fill struct fields diagnosticSergey Parilin2019-05-061-4/+4
|
* Merge #1208bors[bot]2019-05-041-0/+1
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1208: [WIP] Goto for Macro's r=matklad a=Lapz Adds goto definition for macros. Currently only works for macros in the current crate ~~otherwise it panics~~. Proper macro resolution needs to be added for it to resolve macros in other crates. Todo - [X] Allow goto from macro calls - [X] Fix panics - [x] Add tests ![Screen Recording 2019-04-25 at 18 00 24](https://user-images.githubusercontent.com/19998186/56754499-1dd01c00-6785-11e9-9e9a-1e36de70cfa3.gif) Co-authored-by: Lenard Pratt <[email protected]>
| * Added local macro gotoLenard Pratt2019-05-041-0/+1
| |
* | Add default type param in TypeParam NodeEdwin Cheng2019-05-032-0/+7
|/
* move add_missing_members to structured editing APIAleksey Kladov2019-04-221-0/+9
| | | | | Currently, this is more code, and we also loose auto-indenting of bodies, but, long-term, this is the right approach
* Merge #1154bors[bot]2019-04-202-0/+15
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1154: Initial support for lang items (and str completion) r=flodiebold a=marcogroppo This PR adds partial support for lang items. For now, the only supported lang items are the ones that target an impl block. Lang items are now resolved during type inference - this means that `str` completion now works. Fixes #1139. (thanks Florian Diebold for the help!) Co-authored-by: Marco Groppo <[email protected]>
| * Initial support for lang items.Marco Groppo2019-04-192-0/+15
| |
* | Add MacroItems and MacroStmts in grammer.ronEdwin Cheng2019-04-181-0/+66
|/
* migrate to untyped rowanAleksey Kladov2019-04-092-118/+118
|
* updated snapshotsLenard Pratt2019-04-072-5/+1
|
* Added ArrayExprKind,Lenard Pratt2019-04-071-0/+22
| | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr
* Added inference of array lengthLenard Pratt2019-04-071-0/+4
|
* Parse and infer tuple indicesrobojumper2019-04-061-5/+29
|
* Merge #1076bors[bot]2019-04-021-2/+10
|\ | | | | | | | | | | | | | | | | 1076: Const body inference r=flodiebold a=Lapz This is the second part of #887. I've added type inference on const bodies and introduced the DefWithBody containing Function, Const and Static. I want to add tests but im unsure on how I would go about testing that completions work. Co-authored-by: Lenard Pratt <[email protected]>
| * Added const bodies and static body to the astLenard Pratt2019-04-021-3/+10
| | | | | | | | | | | | and added inference the inference test reduce code duplication
| * Added defWithBodyLenard Pratt2019-03-301-0/+1
| |
* | fix inner block doc commentsAleksey Kladov2019-04-021-1/+1
| |
* | add minimal commentsAleksey Kladov2019-04-024-0/+11
| |
* | rename flavor to kindAleksey Kladov2019-04-022-24/+24
| |
* | move extensions to submodulesAleksey Kladov2019-04-022-0/+550
| |
* | More future-proof comment kindAleksey Kladov2019-04-022-33/+52
| |
* | fix comment namingAleksey Kladov2019-04-021-10/+9
| |
* | allow empty doc commentsAleksey Kladov2019-04-021-4/+6
| |
* | add ast::tokensAleksey Kladov2019-04-022-1/+94
| |
* | move ast traits to a separate fileAleksey Kladov2019-04-021-0/+148
| |
* | Merge #1084bors[bot]2019-04-011-29/+0
|\ \ | | | | | | | | | | | | | | | | | | | | | 1084: remove dead code r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | remove dead codeAleksey Kladov2019-04-011-29/+0
| | |
* | | intelligently add parens when inlining local varaiblesgfreezy2019-04-011-1/+9
|/ /
* | switch to new rowanAleksey Kladov2019-04-011-523/+4
| |
* | Add WherePred to allow predicate access in WhereClauseVille Penttinen2019-03-311-1/+42
| | | | | | | | | | This also unifies parsing of WHERE_PRED bounds, now Lifetime bounds will also be parsed using TYPE_BOUND_LIST
* | Add trait ast::TypeBoundsOwnerVille Penttinen2019-03-311-0/+5
| |
* | Add new TYPE_BOUND_LIST and TYPE_BOUND syntax kindsVille Penttinen2019-03-301-0/+68
|/ | | | | | 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 resolutionFlorian Diebold2019-03-251-1/+5
|
* add name resolution from the old implAleksey Kladov2019-03-171-0/+1
| | | | unlike the old impl, this also handles macro imports across crates
* Remove `TypeRef` from item opts which implement TypeAscriptionOwnerVille Penttinen2019-02-271-27/+3
|
* Add new trait TypeAscriptionOwnerVille Penttinen2019-02-261-0/+6
| | | | | 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 wellAleksey Kladov2019-02-251-47/+47
|
* support upcastig in AST enumAleksey Kladov2019-02-242-0/+407
|
* Enable parsing attributes for generic lifetimes and type parametersVille Penttinen2019-02-171-0/+2
|
* Enable parsing of attributes inside a match blockVille Penttinen2019-02-171-0/+2
| | | | | | | 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 callsFlorian Diebold2019-02-161-0/+4
|
* Add generic params to impl blocksFlorian Diebold2019-02-161-0/+1
|
* Import the preludeFlorian Diebold2019-02-131-0/+1
|
* rename yellow -> syntax_nodeAleksey Kladov2019-02-122-2/+2
| | | | why yellow in the first place? Its red + green.
* make macro a NameOwnerAleksey Kladov2019-02-111-0/+1
|
* Fix handling of literal patternsFlorian Diebold2019-02-091-1/+36
| | | | | Wrap them in a LiteralPat node so they can be distinguished from literal expressions.
* Fill deprecation for LSPkjeremy2019-02-051-0/+1
|