aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src
Commit message (Collapse)AuthorAgeFilesLines
...
* Add test for placeholder parameters in trait fn defsErlend Tobiassen2019-01-221-0/+5
|
* Allow placeholder parameters in trait fn defsErlend Tobiassen2019-01-221-1/+1
|
* No need for is_type_startErlend Tobiassen2019-01-222-9/+1
|
* Prefer TYPE_FIRSTErlend Tobiassen2019-01-221-4/+4
|
* 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
|