aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_def/src/body.rs
Commit message (Collapse)AuthorAgeFilesLines
* Forward compatAleksey Kladov2020-04-101-3/+3
|
* Add recursive limit in expression macro expansionEdwin Cheng2020-03-211-1/+8
|
* Simplify Arena to use a generic indexAleksey Kladov2020-03-191-2/+2
|
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-11/+11
| | | | | | | 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-3/+9
|
* Explicitly remember desugard patsAleksey Kladov2020-03-061-2/+2
|
* Explicitly remember desugard exprsAleksey Kladov2020-03-061-3/+3
|
* Source map returns a resultAleksey Kladov2020-03-061-4/+7
| | | | cc #2236
* Introduce AsMacroCall traitEdwin Cheng2020-02-171-32/+22
|
* Use pre-stored macro fileEdwin Cheng2019-12-231-6/+16
|
* Add macro call support for type_ofEdwin Cheng2019-12-231-10/+6
|
* Share impl Scope between modules and blocksAleksey Kladov2019-12-221-2/+3
|
* Optimize and profileAleksey Kladov2019-12-211-0/+2
|
* Merge #2624bors[bot]2019-12-201-1/+2
|\ | | | | | | | | | | | | | | 2624: Separate module item from module scope r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]>
| * Move ModuleScope to a new moduleAleksey Kladov2019-12-201-1/+2
| |
* | Add support macros in impl blocksEdwin Cheng2019-12-201-9/+13
|/
* Fix resolve for field init shorthandAleksey Kladov2019-12-201-0/+5
|
* Add local functions to bodiesAleksey Kladov2019-12-201-16/+27
|
* Allow storing defs in bodiesAleksey Kladov2019-12-191-1/+2
|
* Forbid <T>::foo syntax in mod pathsAleksey Kladov2019-12-181-4/+8
|
* Use different types for path with and without genericsAleksey Kladov2019-12-141-1/+1
|
* Remove MacroFileKindEdwin Cheng2019-12-081-4/+2
|
* Add expansion infrastructure for derive macrosFlorian Diebold2019-12-051-2/+4
|
* Replace `ra_hir_expand::either` with crateice10002019-12-031-5/+4
|
* Add BuiltinShadowModeEdwin Cheng2019-11-301-2/+5
|
* Move source-related traits to a separate moduleAleksey Kladov2019-11-281-1/+2
|
* Rename Source -> InFileAleksey Kladov2019-11-281-7/+7
|
* Rename module_id -> local_idAleksey Kladov2019-11-271-1/+1
|
* Hide MacroCallLocEdwin Cheng2019-11-261-3/+2
|
* DocsAleksey Kladov2019-11-241-1/+2
|
* SimplifyAleksey Kladov2019-11-241-22/+6
|
* CleanupAleksey Kladov2019-11-241-1/+1
|
* Switch to StaticLoc for staticsAleksey Kladov2019-11-241-1/+2
|
* Get rid of DefDatabase2Aleksey Kladov2019-11-231-8/+8
|
* Move constants to new IDAleksey Kladov2019-11-201-0/+1
| | | | This allows us to get rid of trait item index
* Next gen IDs for functionsAleksey Kladov2019-11-201-1/+2
| | | | | | | | | | | | | | | | | The current system with AstIds has two primaraly drawbacks: * It is possible to manufacture IDs out of thin air. For example, it's possible to create IDs for items which are not considered in CrateDefMap due to cfg. Or it is possible to mixup structs and unions, because they share ID space. * Getting the ID of a parent requires a secondary index. Instead, the plan is to pursue the more traditional approach, where each items stores the id of the parent declaration. This makes `FromSource` more awkward, but also more correct: now, to get from an AST to HIR, we first do this recursively for the parent item, and the just search the children of the parent for the matching def
* Rename Source::ast -> Source::valueAleksey Kladov2019-11-201-6/+6
|
* Move body queries to hir_defAleksey Kladov2019-11-141-2/+32
|
* Move scopes to hir_defAleksey Kladov2019-11-141-0/+1
|
* Slightly better namingAleksey Kladov2019-11-141-9/+6
|
* Handle macro-generated expressions slightly less wrongAleksey Kladov2019-11-141-19/+9
|
* Move expansion to ExpanderAleksey Kladov2019-11-141-2/+34
|
* Move parse_path to ExpanderAleksey Kladov2019-11-141-0/+4
|
* Expansion stack scaffoldAleksey Kladov2019-11-141-2/+35
|
* Add Expader::to_sourceAleksey Kladov2019-11-141-0/+4
|
* Move original_file to ExpanderAleksey Kladov2019-11-141-1/+7
|
* Rename MacroResolver -> ExpanderAleksey Kladov2019-11-141-10/+6
|
* Move current file to MacroResolverAleksey Kladov2019-11-141-4/+9
|
* Reduce visibilityAleksey Kladov2019-11-141-5/+1
|
* Move expression lowering to hir_defAleksey Kladov2019-11-121-0/+142
|