aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/source_binder.rs
Commit message (Collapse)AuthorAgeFilesLines
* Move constants to new IDAleksey Kladov2019-11-201-1/+6
| | | | This allows us to get rid of trait item index
* Fix expand macroEdwin Cheng2019-11-201-3/+10
|
* Next gen IDs for functionsAleksey Kladov2019-11-201-1/+1
| | | | | | | | | | | | | | | | | 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 with_ast -> with_valueAleksey Kladov2019-11-201-6/+6
|
* Rename Source::ast -> Source::valueAleksey Kladov2019-11-201-12/+12
|
* Change to use Expansion::file_id and reorderingEdwin Cheng2019-11-191-6/+1
|
* RebaseEdwin Cheng2019-11-191-0/+5
|
* More correct expansion mappingAleksey Kladov2019-11-171-4/+9
| | | | We can't really map arbitrary ranges, we only can map tokens
* Goto definition works inside macrosAleksey Kladov2019-11-161-1/+22
|
* Force passing Source when creating a SourceAnalyzerAleksey Kladov2019-11-151-30/+20
|
* Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-151-1/+0
|
* Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-151-7/+6
|
* Sourcify some moreAleksey Kladov2019-11-151-13/+21
|
* Sourcify some thingsAleksey Kladov2019-11-151-8/+7
| | | | | If we want to support macros properly, we need to get rid of those FileIds everywhere...
* Move scope tests to hir_defAleksey Kladov2019-11-151-19/+5
|
* Reduce visibilityAleksey Kladov2019-11-151-3/+3
|
* Use Local moreAleksey Kladov2019-11-151-8/+0
|
* Move body queries to hir_defAleksey Kladov2019-11-141-1/+1
|
* Move scopes to hir_defAleksey Kladov2019-11-141-5/+1
|
* Handle macro-generated expressions slightly less wrongAleksey Kladov2019-11-141-13/+31
|
* Remove owner from BodyAleksey Kladov2019-11-121-1/+1
|
* Introduce hir::GenericParamAleksey Kladov2019-11-111-4/+7
| | | | Unlike existing hir::GenericParams, this is a global ID.
* Add hir::LocalAleksey Kladov2019-11-111-12/+8
|
* Move CrateDefMap to hir_defAleksey Kladov2019-11-031-2/+5
|
* Change SourceAnalyzer method resoltion APIFlorian Diebold2019-11-011-2/+25
|
* Complete trait assoc itemsFlorian Diebold2019-11-011-3/+5
|
* Refactor to unify with method resolutionFlorian Diebold2019-11-011-3/+4
|
* Fixes #2143kjeremy2019-10-311-1/+3
|
* source_binder => match_ast!kjeremy2019-10-301-28/+36
|
* push name down to hir_expandAleksey Kladov2019-10-301-1/+2
|
* remove forward pointer to PathAleksey Kladov2019-10-301-2/+1
|
* remove forward pointer for nameAleksey Kladov2019-10-301-2/+3
|
* Move ids to hir_def crateAleksey Kladov2019-10-301-1/+1
|
* Support inferring `Self` type in enum definitionsice10002019-10-081-1/+1
| | | | Signed-off-by: ice1000 <[email protected]>
* Added test for check doc strings in crates.Alexander Andreev2019-09-301-7/+7
| | | | #1856
* Support `$crate` in item and expr place.uHOOCCOOHu2019-09-261-0/+2
|
* Remove redundant clone()Shotaro Yamada2019-09-251-1/+1
|
* introduce FromSource traitEkaterina Babshukova2019-09-191-107/+17
|
* Refactor a bit to prepare for resolving trait assoc itemsFlorian Diebold2019-09-171-1/+1
|
* Define known paths and group namesuHOOCCOOHu2019-09-151-6/+2
|
* Support path starting with a typeuHOOCCOOHu2019-09-151-9/+5
|
* Specify desirable namespace when calling resolveAleksey Kladov2019-09-131-25/+41
| | | | That way, we are able to get rid of a number of unreachable statements
* start cleaning up the resolutionAleksey Kladov2019-09-121-6/+5
| | | | | | | Nameres related types, like `PerNs<Resolution>`, can represent unreasonable situations, like a local in a type namespace. We should clean this up, by requiring that call-site specifies the kind of resolution it expects.
* cleanup hir db importsAleksey Kladov2019-09-081-3/+3
|
* Correctly build BodySourceMap for macro-expanded expressionsAleksey Kladov2019-09-031-7/+22
|
* fix hir for new block syntaxAleksey Kladov2019-09-021-4/+10
|
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-021-3/+3
| | | | ... and use that instead of exposing the source map.
* rename struct -> record, pos -> tupleAleksey Kladov2019-08-231-4/+4
|
* rustfmtEvgenii P2019-08-041-3/+1
|
* Idiomatic returnEvgenii P2019-08-041-1/+1
|