aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_def/src/body
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Slightly better namingAleksey Kladov2019-11-141-1/+1
|
* Handle macro-generated expressions slightly less wrongAleksey Kladov2019-11-141-13/+11
|
* Move expansion to ExpanderAleksey Kladov2019-11-141-25/+7
|
* Move parse_path to ExpanderAleksey Kladov2019-11-141-10/+6
|
* Expansion stack scaffoldAleksey Kladov2019-11-141-6/+3
|