aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src
Commit message (Collapse)AuthorAgeFilesLines
* Update tests after allowing where predicate to accept typesErlend Tobiassen2019-01-221-0/+5
|
* Optimistically bail out of where clause loop if not at start of a type or ↵Erlend Tobiassen2019-01-222-12/+24
| | | | lifetime
* Don't leave a marker hanging without completing it.Erlend Tobiassen2019-01-221-2/+1
|
* Allow types to the left of : in where predicates.Erlend Tobiassen2019-01-221-24/+27
|
* Add AST/HIR for type args in path segmentsFlorian Diebold2019-01-192-1/+137
|
* Change parsing of struct field patternsMarcus Klaas de Vries2019-01-193-14/+22
|
* Move parsing of field pattern lists to the parser (where it belongs)Marcus Klaas de Vries2019-01-195-60/+59
|
* Add initial (flawed) implementation of binding annotationsMarcus Klaas de Vries2019-01-193-2/+19
|
* Implement unlabeled struct field pattern inferenceMarcus Klaas de Vries2019-01-191-31/+11
|
* Create struct patterns up to the hir levelMarcus Klaas de Vries2019-01-193-7/+80
|
* Add additional pattern variantsMarcus Klaas de Vries2019-01-192-4/+12
|
* make token set a const-fnAleksey Kladov2019-01-198-57/+52
|
* Update ARRAY_EXPR grammarHirokazu Hata2019-01-162-2/+8
|
* Merge #536bors[bot]2019-01-161-0/+9
|\ | | | | | | | | | | | | | | | | | | 536: Introduce variable semicolon block expr r=matklad a=yerke Fix for https://github.com/rust-analyzer/rust-analyzer/issues/504 Feels a bit hacky... Co-authored-by: Yerkebulan Tulibergenov <[email protected]>
| * add has_semi to ExprStmtYerkebulan Tulibergenov2019-01-161-0/+9
| |
* | Fix type inference for raw (byte) stringsMarcus Klaas de Vries2019-01-143-14/+61
| |
* | Fixup testsMarcus Klaas de Vries2019-01-145-45/+148
| |
* | Start moving literal interpretation to the AST (WIP)Marcus Klaas de Vries2019-01-143-6/+128
| |
* | Try implementing integer type inference (WIP)Marcus Klaas de Vries2019-01-141-1/+1
| |
* | Implement type inference for literals (WIP)Marcus Klaas de Vries2019-01-143-1/+27
|/
* Update TUPLE_EXPR grammarHirokazu Hata2019-01-132-2/+8
|
* support ref-patternsAleksey Kladov2019-01-133-2/+12
|
* Fix handling of attributes in positional field listsDJMcNab2019-01-121-0/+10
|
* rename TreePtr -> TreeArcAleksey Kladov2019-01-119-150/+150
| | | | This is much clearer about the semantics
* Fix handling of where clauses in tuple structsDJMcNab2019-01-101-0/+4
|
* kill text utilsAleksey Kladov2019-01-083-19/+6
|
* upstream text-utils to text_unitAleksey Kladov2019-01-082-19/+5
|
* add commentAleksey Kladov2019-01-081-0/+9
|
* move node at offset to aglo alreadyAleksey Kladov2019-01-081-1/+5
|
* assist to convert if-let to matchAleksey Kladov2019-01-081-1/+1
|
* itroduce trait for ast tokensAleksey Kladov2019-01-087-53/+28
|
* migrate ra_hir to rowan 2.0Aleksey Kladov2019-01-082-0/+38
|
* migrate ra_db to new rowanAleksey Kladov2019-01-081-1/+10
|
* wrap TreePtrAleksey Kladov2019-01-081-7/+45
|
* regenerateAleksey Kladov2019-01-081-3052/+1791
|
* switch ra_syntax to new rowan APIAleksey Kladov2019-01-0814-323/+262
|
* Implement type inference for more binary operatorsMarcus Klaas de Vries2019-01-071-2/+2
| | | | | Mostly just for primitive numeric types such as u32 and f64. Not yet a general solution using trait resolution.
* Add remaining binary operations to ASTMarcus Klaas de Vries2019-01-073-1/+72
|
* Merge #440bors[bot]2019-01-061-0/+52
|\ | | | | | | | | | | | | | | | | | | 440: Implement type inference for boolean operators r=flodiebold a=marcusklaas Tried implementing the easiest part of https://github.com/rust-analyzer/rust-analyzer/issues/390. Hope this is somewhat close to what the intent of the issue was. Found it surprisingly easy to find my way around the repository - it's well organized! Very grateful for any pointers. Co-authored-by: Marcus Klaas de Vries <[email protected]>
| * Touch up type inference for boolean operatorsMarcus Klaas de Vries2019-01-063-26/+26
| | | | | | | | | | Also try to infer its subexpressions and set type expectations whenever possible.
| * Implement type inference for boolean operatorsMarcus Klaas de Vries2019-01-053-2/+54
| |
* | Make FnScopes use hir::ExprFlorian Diebold2019-01-052-22/+13
| | | | | | | | | | | | 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 machineryFlorian Diebold2019-01-052-3/+11
|/
* change visibility can change pub to pub(crate)Aleksey Kladov2019-01-051-0/+18
|
* split import assistAleksey Kladov2019-01-051-0/+6
|
* Rename traits::impl_item -> impl_block as well, as well as the testsFlorian Diebold2019-01-042-4/+4
|
* Type the self parameterFlorian Diebold2019-01-043-2/+79
|
* Add HIR for impl blocksFlorian Diebold2019-01-042-3/+43
| | | | | | | | | 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.
* Rename ImplItem to ImplBlockFlorian Diebold2019-01-046-26/+26
| | | | | rustc uses the name ImplItem for items in impls, not the impl {} block itself, which could lead to confusion.
* add mod doc comments test in astcsmoe2019-01-041-0/+13
|