Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move expr resolver to resolve | Aleksey Kladov | 2019-11-21 | 1 | -3/+3 |
| | |||||
* | Decouple Resolver | Aleksey Kladov | 2019-11-21 | 1 | -9/+12 |
| | |||||
* | Add HasResolver trait | Aleksey Kladov | 2019-11-20 | 1 | -1/+1 |
| | |||||
* | Move constants to new ID | Aleksey Kladov | 2019-11-20 | 1 | -1/+6 |
| | | | | This allows us to get rid of trait item index | ||||
* | Fix expand macro | Edwin Cheng | 2019-11-20 | 1 | -3/+10 |
| | |||||
* | Next gen IDs for functions | Aleksey Kladov | 2019-11-20 | 1 | -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_value | Aleksey Kladov | 2019-11-20 | 1 | -6/+6 |
| | |||||
* | Rename Source::ast -> Source::value | Aleksey Kladov | 2019-11-20 | 1 | -12/+12 |
| | |||||
* | Change to use Expansion::file_id and reordering | Edwin Cheng | 2019-11-19 | 1 | -6/+1 |
| | |||||
* | Rebase | Edwin Cheng | 2019-11-19 | 1 | -0/+5 |
| | |||||
* | More correct expansion mapping | Aleksey Kladov | 2019-11-17 | 1 | -4/+9 |
| | | | | We can't really map arbitrary ranges, we only can map tokens | ||||
* | Goto definition works inside macros | Aleksey Kladov | 2019-11-16 | 1 | -1/+22 |
| | |||||
* | Force passing Source when creating a SourceAnalyzer | Aleksey Kladov | 2019-11-15 | 1 | -30/+20 |
| | |||||
* | Prepare SourceAnalyzer for macros | Aleksey Kladov | 2019-11-15 | 1 | -1/+0 |
| | |||||
* | Prepare SourceAnalyzer for macros | Aleksey Kladov | 2019-11-15 | 1 | -7/+6 |
| | |||||
* | Sourcify some more | Aleksey Kladov | 2019-11-15 | 1 | -13/+21 |
| | |||||
* | Sourcify some things | Aleksey Kladov | 2019-11-15 | 1 | -8/+7 |
| | | | | | If we want to support macros properly, we need to get rid of those FileIds everywhere... | ||||
* | Move scope tests to hir_def | Aleksey Kladov | 2019-11-15 | 1 | -19/+5 |
| | |||||
* | Reduce visibility | Aleksey Kladov | 2019-11-15 | 1 | -3/+3 |
| | |||||
* | Use Local more | Aleksey Kladov | 2019-11-15 | 1 | -8/+0 |
| | |||||
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -1/+1 |
| | |||||
* | Move scopes to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -5/+1 |
| | |||||
* | Handle macro-generated expressions slightly less wrong | Aleksey Kladov | 2019-11-14 | 1 | -13/+31 |
| | |||||
* | Remove owner from Body | Aleksey Kladov | 2019-11-12 | 1 | -1/+1 |
| | |||||
* | Introduce hir::GenericParam | Aleksey Kladov | 2019-11-11 | 1 | -4/+7 |
| | | | | Unlike existing hir::GenericParams, this is a global ID. | ||||
* | Add hir::Local | Aleksey Kladov | 2019-11-11 | 1 | -12/+8 |
| | |||||
* | Move CrateDefMap to hir_def | Aleksey Kladov | 2019-11-03 | 1 | -2/+5 |
| | |||||
* | Change SourceAnalyzer method resoltion API | Florian Diebold | 2019-11-01 | 1 | -2/+25 |
| | |||||
* | Complete trait assoc items | Florian Diebold | 2019-11-01 | 1 | -3/+5 |
| | |||||
* | Refactor to unify with method resolution | Florian Diebold | 2019-11-01 | 1 | -3/+4 |
| | |||||
* | Fixes #2143 | kjeremy | 2019-10-31 | 1 | -1/+3 |
| | |||||
* | source_binder => match_ast! | kjeremy | 2019-10-30 | 1 | -28/+36 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -1/+2 |
| | |||||
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 1 | -2/+1 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -2/+3 |
| | |||||
* | Move ids to hir_def crate | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
| | |||||
* | Support inferring `Self` type in enum definitions | ice1000 | 2019-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: ice1000 <[email protected]> | ||||
* | Added test for check doc strings in crates. | Alexander Andreev | 2019-09-30 | 1 | -7/+7 |
| | | | | #1856 | ||||
* | Support `$crate` in item and expr place. | uHOOCCOOHu | 2019-09-26 | 1 | -0/+2 |
| | |||||
* | Remove redundant clone() | Shotaro Yamada | 2019-09-25 | 1 | -1/+1 |
| | |||||
* | introduce FromSource trait | Ekaterina Babshukova | 2019-09-19 | 1 | -107/+17 |
| | |||||
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -1/+1 |
| | |||||
* | Define known paths and group names | uHOOCCOOHu | 2019-09-15 | 1 | -6/+2 |
| | |||||
* | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -9/+5 |
| | |||||
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 1 | -25/+41 |
| | | | | That way, we are able to get rid of a number of unreachable statements | ||||
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 1 | -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 imports | Aleksey Kladov | 2019-09-08 | 1 | -3/+3 |
| | |||||
* | Correctly build BodySourceMap for macro-expanded expressions | Aleksey Kladov | 2019-09-03 | 1 | -7/+22 |
| | |||||
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 1 | -4/+10 |
| | |||||
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 1 | -3/+3 |
| | | | | ... and use that instead of exposing the source map. |