aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Collapse)AuthorAgeFilesLines
...
* move input module items to the lower moduleAleksey Kladov2019-01-194-204/+211
|
* move rename to a new modgfreezy2019-01-191-7/+2
|
* :arrow_up: salsaAleksey Kladov2019-01-175-114/+78
|
* Add Ty::Array to walk_mutHirokazu Hata2019-01-162-35/+35
|
* Fix test case invalid syntaxHirokazu Hata2019-01-162-47/+47
|
* Remove unneeded codeHirokazu Hata2019-01-161-2/+2
|
* Fix infer array testHirokazu Hata2019-01-162-40/+57
|
* Fix Ty::ArrayHirokazu Hata2019-01-161-21/+16
|
* Add infer array testHirokazu Hata2019-01-162-0/+61
|
* Implement array inferenceHirokazu Hata2019-01-162-3/+30
|
* Implement rudimentary type inference for unary operatorsMarcus Klaas de Vries2019-01-154-5/+72
|
* hir is cancelation freeAleksey Kladov2019-01-152-11/+5
|
* remove Cancelable from type inferenceAleksey Kladov2019-01-156-107/+81
|
* remove Cancelable from TyAleksey Kladov2019-01-155-67/+54
|
* remove Cancelable from idsAleksey Kladov2019-01-156-34/+27
|
* remove Cancelable from nameresAleksey Kladov2019-01-157-62/+48
|
* remove Cancelable from fn_scopesAleksey Kladov2019-01-155-9/+9
|
* remove Cancelable from funciton bodyAleksey Kladov2019-01-156-18/+13
|
* remove Cancelable from navigation targetAleksey Kladov2019-01-155-12/+11
|
* remove Cancelable from static&const APIAleksey Kladov2019-01-151-11/+8
|
* remove Cancelable from adt APIAleksey Kladov2019-01-155-53/+36
|
* remove Cancelable from Crate APIAleksey Kladov2019-01-154-10/+10
|
* remove Cancelable from Module API, part 2Aleksey Kladov2019-01-154-26/+22
|
* remove Cancelable from Module APIAleksey Kladov2019-01-153-15/+12
|
* remove Cancelable from source bindersAleksey Kladov2019-01-159-76/+56
|
* remove Cancelable from module_tree_queryAleksey Kladov2019-01-156-31/+28
|
* check_canceled does not return ResultAleksey Kladov2019-01-153-4/+4
|
* update salsaAleksey Kladov2019-01-151-1/+1
|
* Address issues found in reviewMarcus Klaas de Vries2019-01-142-11/+9
|
* Fix type inference for raw (byte) stringsMarcus Klaas de Vries2019-01-142-4/+12
|
* Give literal expression default values for nowMarcus Klaas de Vries2019-01-141-23/+9
|
* Fixup testsMarcus Klaas de Vries2019-01-147-166/+135
|
* Start moving literal interpretation to the AST (WIP)Marcus Klaas de Vries2019-01-141-4/+3
|
* don't try to treat arrays and tuples as literalsMarcus Klaas de Vries2019-01-145-57/+27
|
* Use type variables to determine exact type for ambiguous numeric literalsMarcus Klaas de Vries2019-01-146-14/+64
|
* Try implementing integer type inference (WIP)Marcus Klaas de Vries2019-01-147-45/+128
|
* Implement type inference for literals (WIP)Marcus Klaas de Vries2019-01-145-4/+139
|
* goto defenition works for type-inferred methodsAleksey Kladov2019-01-131-3/+22
|
* Fix tuple test caseHirokazu Hata2019-01-132-6/+35
|
* Implement tuple inferenceHirokazu Hata2019-01-132-1/+20
|
* Add infer tuple testHirokazu Hata2019-01-132-0/+17
|
*-. Merge #517 #518bors[bot]2019-01-131-3/+9
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 517: gracefully handle cycles in crate graph r=matklad a=matklad 518: Add an explanatory message when we use the Query fallback r=matklad a=DJMcNab Fixes https://github.com/rust-analyzer/rust-analyzer/issues/269. There is no good way to explain it for go_to_def, so I've just fallen back on to_vec. Co-authored-by: Aleksey Kladov <[email protected]> Co-authored-by: DJMcNab <[email protected]>
| * | gracefully handle cycles in crate graphAleksey Kladov2019-01-131-3/+9
| |/ | | | | | | | | rust-lang/rust has absolutely weird setup with rustc-workspace-shim, which leads to real cycles.
* / support ref-patternsAleksey Kladov2019-01-132-9/+34
|/
* args -> paramsFlorian Diebold2019-01-126-35/+35
|
* Small improvements from review commentsFlorian Diebold2019-01-123-20/+20
|
* Implement basic inherent method resolutionFlorian Diebold2019-01-1210-17/+308
|
* Fix assertion error in unification (hopefully)Florian Diebold2019-01-113-7/+50
| | | | | | | Currently, all types that we handle during inference need to be resolved as far as possible at the time. It's maybe too brittle of an invariant; I need to think how we can do this better. This should fix #484 though, I hope (if it's the same case as I managed to reproduce).
* actually produce missing def kindsAleksey Kladov2019-01-114-8/+82
|
* uncopypaste def sourcesAleksey Kladov2019-01-113-40/+26
|