aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src
Commit message (Collapse)AuthorAgeFilesLines
...
* start token tree moduleAleksey Kladov2019-01-312-0/+39
|
* Merge #701bors[bot]2019-01-305-19/+46
|\ | | | | | | | | | | | | | | | | | | 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <[email protected]>
| * Add test for passing on ref expectationsMarcus Klaas de Vries2019-01-303-8/+15
| |
| * Infer type of match guardMarcus Klaas de Vries2019-01-284-15/+35
| |
* | Move expr_scopes query to its moduleFlorian Diebold2019-01-303-11/+17
| |
* | Rename FnScopes -> ExprScopesFlorian Diebold2019-01-308-26/+26
| | | | | | | | | | The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore.
* | Use Crate instead of CrateIdAleksey Kladov2019-01-309-45/+36
| |
* | move item_map_queryAleksey Kladov2019-01-303-35/+29
| |
* | Resolve cratekjeremy2019-01-301-1/+1
| |
* | Go to Implementation for structs and enumsJeremy Kolb2019-01-306-14/+115
| |
* | Use match-all instead of individual branchesWizardOfMenlo2019-01-281-5/+1
| |
* | Added support for primitive types type inference when using std::ops::NotWizardOfMenlo2019-01-283-15/+41
| |
* | Process second reviewMarcus Klaas de Vries2019-01-273-44/+35
| |
* | Use type information from the turbofishMarcus Klaas de Vries2019-01-274-12/+40
| |
* | Add a FnSig to Ty::FnDefMarcus Klaas de Vries2019-01-277-68/+94
| |
* | Address some issues flagged in reviewMarcus Klaas de Vries2019-01-273-39/+25
| |
* | Add missing ty test snapshotMarcus Klaas de Vries2019-01-271-0/+23
| |
* | Add type params to FnSignatureMarcus Klaas de Vries2019-01-279-137/+107
| |
* | Initial implementation of generics for method callsMarcus Klaas de Vries2019-01-272-13/+72
| |
* | First attempt at generic type inference for fnsMarcus Klaas de Vries2019-01-275-20/+80
|/
* Revert parts of "Test non standard crate root"Erlend Tobiassen2019-01-272-15/+9
| | | | Prefer cursor position over file_map
* Remove dbg!(...)Erlend Tobiassen2019-01-271-1/+1
|
* Fix bad rebase and rustfmtErlend Tobiassen2019-01-271-1/+1
|
* fix #668Erlend Tobiassen2019-01-271-1/+3
|
* Test non standard crate rootErlend Tobiassen2019-01-272-6/+48
|
* Merge #662bors[bot]2019-01-271-6/+1
|\ | | | | | | | | | | | | | | 662: Preserve indentation in doc comments r=matklad a=kjeremy Fixes #502 Co-authored-by: Jeremy Kolb <[email protected]>
| * Make doc comments optionalJeremy Kolb2019-01-261-6/+1
| |
* | Add marksFlorian Diebold2019-01-263-0/+11
| |
* | Handle cycles in type varsFlorian Diebold2019-01-264-9/+86
| | | | | | | | This might be the cause of #587.
* | Merge #683bors[bot]2019-01-263-2/+48
|\ \ | | | | | | | | | | | | | | | | | | | | | 683: fix AST for if expressions r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | fix AST for if expressionsAleksey Kladov2019-01-263-2/+48
| |/ | | | | | | then is not always a block...
* | remove Option<SourceFileItemId> hackAleksey Kladov2019-01-268-83/+86
| |
* | store syntax ptr in FileItemsAleksey Kladov2019-01-262-21/+15
| | | | | | | | we cache the tree in file_item query anyway
* | remove dead codeAleksey Kladov2019-01-261-4/+0
|/
* rename source_file -> parseAleksey Kladov2019-01-266-17/+11
|
* rename FilesDatabase -> SourceDatabaseAleksey Kladov2019-01-264-6/+6
|
* move ide queries to ide dbAleksey Kladov2019-01-261-2/+0
|
* fold syntax database into files databaseAleksey Kladov2019-01-263-10/+6
|
* rename POS_FIELD -> POS_FIELD_DEFAleksey Kladov2019-01-251-1/+1
| | | | to match NAMED_FIELD_DEF
* Merge #656bors[bot]2019-01-252-3/+7
|\ | | | | | | | | | | | | | | 656: :arrow_up deps r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: salsaAleksey Kladov2019-01-252-3/+7
| |
* | Merge #655bors[bot]2019-01-253-1/+30
|\ \ | | | | | | | | | | | | | | | | | | | | | 655: Fix type inference of binops on int/float variables r=matklad a=flodiebold Fixes #651. Co-authored-by: Florian Diebold <[email protected]>
| * | Fix type inference of binops on int/float variablesFlorian Diebold2019-01-253-1/+30
| |/ | | | | | | Fixes #651.
* / nicer behavior in case of bugsAleksey Kladov2019-01-251-0/+5
|/ | | | | We should always reach a fixed point, but if we fail, let's fail loudly!
* Add docs to struct fieldsJeremy A. Kolb2019-01-251-0/+9
|
* remove dead codeAleksey Kladov2019-01-251-20/+5
|
* Merge #646bors[bot]2019-01-251-0/+7
|\ | | | | | | | | | | | | | | 646: Add module documentation support r=matklad a=kjeremy Co-authored-by: Jeremy A. Kolb <[email protected]>
| * Add module documentation supportJeremy A. Kolb2019-01-251-0/+7
| |
* | add ability to get strcut field sourceAleksey Kladov2019-01-254-31/+84
| |
* | remember where fields resolve to during inferenceAleksey Kladov2019-01-251-9/+19
|/