aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_def/src/body
Commit message (Collapse)AuthorAgeFilesLines
* Macro patterns are not confused with expressions.Aleksey Kladov2020-04-031-2/+1
| | | | | | | | | | | We treat macro calls as expressions (there's appropriate Into impl), which causes problem if there's expresison and non-expression macro in the same node (like in the match arm). We fix this problem by nesting macor patterns into another node (the same way we nest path into PathExpr or PathPat). Ideally, we probably should add a similar nesting for macro expressions, but that needs some careful thinking about macros in blocks: `{ am_i_expression!() }`.
* lower bool literal with the value from source code rather than default bool ↵Josh Mcguigan2020-04-011-1/+1
| | | | value
* lower literal patternsJosh Mcguigan2020-04-011-21/+33
|
* Get rid of ItemOrMacroAleksey Kladov2020-03-261-1/+2
|
* Add support for macro in symbo_indexEdwin Cheng2020-03-221-11/+1
|
* Simplify Arena to use a generic indexAleksey Kladov2020-03-192-8/+6
|
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-162-8/+5
| | | | | | | It improves compile time in `--release` mode quite a bit, it doesn't really slow things down and, conceptually, it seems closer to what we want the physical architecture to look like (we don't want to monomorphise EVERYTHING in a single leaf crate).
* Support local macro_rulesEdwin Cheng2020-03-141-12/+36
|
* Explicitly remember desugard patsAleksey Kladov2020-03-061-4/+8
|
* Explicitly remember desugard exprsAleksey Kladov2020-03-061-15/+16
|
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-291-1/+1
|
* Fix handling of const patternsFlorian Diebold2020-02-211-3/+35
| | | | | | | | | E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618.
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-1/+1
|
* Merge #3062bors[bot]2020-02-111-4/+12
|\ | | | | | | | | | | | | | | | | | | 3062: Implement slice pattern AST > HIR lowering r=jplatte a=jplatte WIP. The necessary changes for parsing are implemented, but actual inference is not yet. Just wanted to upload what I've got so far so it doesn't get duplicated :) Will fix #3043 Co-authored-by: Jonas Platte <[email protected]>
| * Implement slice pattern AST > HIR loweringJonas Platte2020-02-111-4/+12
| |
* | Merge #3074bors[bot]2020-02-102-8/+11
|\ \ | | | | | | | | | | | | | | | | | | | | | 3074: Or patterns r=matthewjasper a=matthewjasper Works towards #2458 Co-authored-by: Matthew Jasper <[email protected]>
| * | Add or- and parenthesized-patternsMatthew Jasper2020-02-092-8/+11
| |/
* / move to to_usize()Veetaha2020-02-091-1/+1
|/
* Merge #2650bors[bot]2019-12-291-7/+13
|\ | | | | | | | | | | | | | | 2650: Add macro call support for SourceAnalyzer::type_of r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]>
| * Use pre-stored macro fileEdwin Cheng2019-12-231-7/+13
| |
* | Rename ResolvedVisibility -> VisibilityFlorian Diebold2019-12-261-1/+1
| |
* | Keep track of visibility during def collectionFlorian Diebold2019-12-261-1/+4
|/
* Rudimentary name resolution for local itemsAleksey Kladov2019-12-221-10/+22
|
* Share impl Scope between modules and blocksAleksey Kladov2019-12-221-2/+2
|
* SimplifyAleksey Kladov2019-12-221-2/+2
|
* Handle closure return typesFlorian Diebold2019-12-201-1/+2
| | | | Fixes #2547.
* Support for nested traitsAleksey Kladov2019-12-201-2/+9
|
* Support for nested statics, consts and type aliasesAleksey Kladov2019-12-201-1/+14
|
* Support for nested ADTAleksey Kladov2019-12-201-7/+19
|
* Introduce `ContainerId`Aleksey Kladov2019-12-201-2/+2
|
* Rename ContainerId -> AssocContainerIdAleksey Kladov2019-12-201-2/+2
|
* Add local functions to bodiesAleksey Kladov2019-12-201-2/+22
|
* Allow storing defs in bodiesAleksey Kladov2019-12-191-0/+1
|
* Rename N! to name!Florian Diebold2019-12-131-2/+2
|
* Add macros for known names and pathsFlorian Diebold2019-12-131-2/+2
|
* Expand macros in blocks to expressions for nowFlorian Diebold2019-12-081-3/+4
| | | | Expanding to statements isn't handled properly yet and breaks things.
* Replace `ra_hir_expand::either` with crateice10002019-12-031-9/+7
|
* Reduce variants of Exproxalica2019-11-291-14/+5
|
* Infer range typesoxalica2019-11-281-2/+20
|
* Rename Source -> InFileAleksey Kladov2019-11-281-3/+3
|
* hir_def is fully doc'ed!Aleksey Kladov2019-11-241-1/+1
|
* DocsAleksey Kladov2019-11-241-1/+2
|
* SimplifyAleksey Kladov2019-11-241-2/+2
|
* Get rid of DefDatabase2Aleksey Kladov2019-11-232-6/+6
|
* Fix test mark placementAleksey Kladov2019-11-212-2/+2
|
* Restore a markAleksey Kladov2019-11-212-1/+19
|
* Rename Source::ast -> Source::valueAleksey Kladov2019-11-201-4/+5
|
* Move scope tests to hir_defAleksey Kladov2019-11-151-0/+219
|
* Move body queries to hir_defAleksey Kladov2019-11-141-1/+9
|
* Move scopes to hir_defAleksey Kladov2019-11-141-0/+157
|