aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/expr.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* Parse and infer tuple indicesrobojumper2019-04-061-1/+4
|
* Merge #1076bors[bot]2019-04-021-21/+26
|\ | | | | | | | | | | | | | | | | 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]>
| * made ExprCollector pub(crate) and movedLenard Pratt2019-04-021-10/+1
| | | | | | | | collect_fn_body_syntax
| * Added const bodies and static body to the astLenard Pratt2019-04-021-20/+16
| | | | | | | | | | | | and added inference the inference test reduce code duplication
| * Added defWithBodyLenard Pratt2019-03-301-11/+29
| |
* | rename flavor to kindAleksey Kladov2019-04-021-9/+9
| |
* | remove flavorAleksey Kladov2019-04-021-4/+4
| |
* | intelligently add parens when inlining local varaiblesgfreezy2019-04-011-0/+1
| |
* | switch to new rowanAleksey Kladov2019-04-011-10/+2
|/
* allow dyn diagnosticsAleksey Kladov2019-03-251-2/+2
|
* diagnosticsAleksey Kladov2019-03-251-2/+13
|
* Target only the actual operator.Marco Groppo2019-03-241-2/+2
| | | | | Renamed `BinExpr::op()` and `PrefixExpr::op()` to `op_kind`. Now `op()` returns the `SyntaxNode`.
* replace todo with fixmeAleksey Kladov2019-03-231-7/+7
|
* Refactor primitive types into more orthogonal representationyanchith2019-03-221-4/+6
|
* make Name::new privateAleksey Kladov2019-03-201-5/+2
|
* remove commentAleksey Kladov2019-03-021-1/+0
|
* remove second way to get the bodyAleksey Kladov2019-03-021-4/+0
|
* rename syntax_mapping as wellAleksey Kladov2019-03-021-1/+1
|
* rename scopesAleksey Kladov2019-03-021-1/+1
|
* dont store body inside source mapAleksey Kladov2019-03-021-48/+38
|
* rename syntax-mapping -> source-mapAleksey Kladov2019-03-021-11/+11
|
* Remove `TypeRef` from item opts which implement TypeAscriptionOwnerVille Penttinen2019-02-271-3/+3
|
* Handle generic args for method callsFlorian Diebold2019-02-161-2/+7
|
* Add an ra_cli command that analyses all crates in the current workspaceFlorian Diebold2019-02-101-0/+8
| | | | ... and prints various stats about how many expressions have a type etc.
* Fix another crash found when analyzing rustcFlorian Diebold2019-02-091-7/+7
|
* Fix handling of literal patternsFlorian Diebold2019-02-091-0/+1
| | | | | Wrap them in a LiteralPat node so they can be distinguished from literal expressions.
* reformat the worldAleksey Kladov2019-02-081-123/+27
|
* Some clippy cleanupskjeremy2019-02-061-3/+3
|
* CleanupFlorian Diebold2019-02-011-6/+2
|
* Use the new Resolver API for goto defFlorian Diebold2019-02-011-0/+4
|
* Use the new Resolver API in completionFlorian Diebold2019-02-011-3/+15
|
* Use new Resolver API in type inferenceFlorian Diebold2019-02-011-3/+0
|
* Implement methods to build a resolverFlorian Diebold2019-02-011-52/+77
|
* Sketching the resolver APIFlorian Diebold2019-02-011-3/+8
|
* split HirDatabase apicsmoe2019-02-011-2/+2
|
* Merge #701bors[bot]2019-01-301-1/+7
|\ | | | | | | | | | | | | | | | | | | 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-301-4/+4
| |
| * Infer type of match guardMarcus Klaas de Vries2019-01-281-1/+7
| |
* | Rename FnScopes -> ExprScopesFlorian Diebold2019-01-301-0/+4
|/ | | | | 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.
* fix AST for if expressionsAleksey Kladov2019-01-261-2/+14
| | | | then is not always a block...
* Functions use new id schemeAleksey Kladov2019-01-241-12/+10
|
* move SyntaxPtr to ra_syntaxAleksey Kladov2019-01-231-24/+26
|
* Change parsing of struct field patternsMarcus Klaas de Vries2019-01-191-14/+14
|
* Move parsing of field pattern lists to the parser (where it belongs)Marcus Klaas de Vries2019-01-191-4/+12
|
* Address issues flagged in reviewMarcus Klaas de Vries2019-01-191-7/+2
|
* Fixup annotated bindingsMarcus Klaas de Vries2019-01-191-10/+8
|
* Add initial (flawed) implementation of binding annotationsMarcus Klaas de Vries2019-01-191-1/+48
|
* Implement unlabeled struct field pattern inferenceMarcus Klaas de Vries2019-01-191-5/+6
|
* Get basic struct pattern type inference working!Marcus Klaas de Vries2019-01-191-20/+19
|
* Create struct patterns up to the hir levelMarcus Klaas de Vries2019-01-191-5/+34
|