aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/expr.rs
Commit message (Collapse)AuthorAgeFilesLines
* make macro expansion into a proper queryAleksey Kladov2019-05-041-14/+3
|
* introduce macro_arg intermediate queryAleksey Kladov2019-05-041-19/+14
| | | | | | | | | | | | Currently, when expanding macros, we look at the source code directly (we invoke ast_id_to_node query via to_node method). This is less then ideal, because it make us re-expand macros after every source change. This commit establishes a salsa-firewall: a query to get macro call's token tree. Unlike the syntax tree, token tree changes only if we actually modify the macro itself.
* Use correct FileId when expanding macros in expressionsAleksey Kladov2019-05-011-15/+38
|
* Introduced resolve_macro_call on resolverLenard Pratt2019-04-231-49/+55
| | | | | | changed to manual expansion fix for nested macros
* Added macro resolution and expansionLenard Pratt2019-04-221-88/+113
|
* Addeded resolver and dbLenard Pratt2019-04-221-60/+79
|
* move ScopeEntryWithSyntaxAleksey Kladov2019-04-131-2/+2
|
* make resolver privateAleksey Kladov2019-04-131-2/+6
|
* fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-131-2/+2
|
* introduce SourceAnalyzerAleksey Kladov2019-04-111-10/+6
|
* fix typoAleksey Kladov2019-04-111-6/+6
|
* type-safer source-map for bindingsAleksey Kladov2019-04-101-13/+15
|
* Added ArrayExprKind,Lenard Pratt2019-04-071-15/+34
| | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr
* Added inference of array lengthLenard Pratt2019-04-071-2/+13
|
* 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]>
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 18:48:05 +0000