Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix resolve for field init shorthand | Aleksey Kladov | 2019-12-20 | 1 | -1/+7 |
| | |||||
* | Use different types for path with and without generics | Aleksey Kladov | 2019-12-14 | 1 | -27/+29 |
| | |||||
* | Use path macro | Florian Diebold | 2019-12-13 | 1 | -2/+2 |
| | |||||
* | Build correct SourceAnalyzer for traits | Aleksey Kladov | 2019-12-10 | 1 | -14/+4 |
| | |||||
* | Remove one more Ty | Aleksey Kladov | 2019-12-08 | 1 | -2/+2 |
| | |||||
* | Remove ty from code_model | Aleksey Kladov | 2019-12-08 | 1 | -12/+12 |
| | |||||
* | Remove MacroFileKind | Edwin Cheng | 2019-12-08 | 1 | -39/+2 |
| | |||||
* | Rename GenericParam -> TypeParam | Aleksey Kladov | 2019-12-07 | 1 | -5/+5 |
| | | | | We don't have LifetimeParam yet, but they are planned! | ||||
* | Get the right analyzer for impls | Aleksey Kladov | 2019-12-07 | 1 | -1/+5 |
| | |||||
* | Remove idx and parent generics from generics | Aleksey Kladov | 2019-12-07 | 1 | -8/+2 |
| | | | | | This makes `hir_def::GenericParams` flatter. The logic for re-numbering the params is moved to hir instead. | ||||
* | Implement ancestors_with_macros in a better way | Florian Diebold | 2019-12-06 | 1 | -12/+1 |
| | |||||
* | Try to make go to definition work in format! | Florian Diebold | 2019-12-06 | 1 | -5/+18 |
| | | | | | | | SourceAnalyzer didn't work properly within expression macro expansions because it didn't find the enclosing function. Fix this by going up the expansion chain to find ancestors. This makes the test work, but apparently in real usage it's still not working. | ||||
* | Add expansion infrastructure for derive macros | Florian Diebold | 2019-12-05 | 1 | -2/+3 |
| | |||||
* | Add `ModuleSource::Block` | ice1000 | 2019-12-04 | 1 | -1/+2 |
| | |||||
* | Replace `ra_hir_expand::either` with crate | ice1000 | 2019-12-03 | 1 | -3/+4 |
| | |||||
* | Add BuiltinShadowMode | Edwin Cheng | 2019-11-30 | 1 | -1/+1 |
| | |||||
* | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 1 | -14/+14 |
| | |||||
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -17/+5 |
| | |||||
* | Use Id for variats | Aleksey Kladov | 2019-11-27 | 1 | -2/+2 |
| | |||||
* | More decoupling | Aleksey Kladov | 2019-11-27 | 1 | -3/+3 |
| | |||||
* | Decouple more | Aleksey Kladov | 2019-11-27 | 1 | -3/+3 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -4/+4 |
| | |||||
* | Cleanup | Aleksey Kladov | 2019-11-26 | 1 | -2/+2 |
| | |||||
* | Hide MacroCallLoc | Edwin Cheng | 2019-11-26 | 1 | -4/+2 |
| | |||||
* | Merge #2406 | bors[bot] | 2019-11-26 | 1 | -5/+6 |
|\ | | | | | | | | | | | | | | | 2406: Add hygiene information to SourceAnalyzer r=matklad a=edwin0cheng This should fix https://github.com/rust-analyzer/rust-analyzer/pull/2392#issuecomment-557964686 Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Remove dbg! | Edwin Cheng | 2019-11-26 | 1 | -2/+0 |
| | | |||||
| * | Add hygiene information to SourceAnalyzer | Edwin Cheng | 2019-11-26 | 1 | -5/+8 |
| | | |||||
* | | Introduce hir::Type | Aleksey Kladov | 2019-11-26 | 1 | -21/+25 |
|/ | | | | It should provide a convenient API over more low-level Ty | ||||
* | Use GenericDefIdMore | Aleksey Kladov | 2019-11-25 | 1 | -2/+2 |
| | |||||
* | Remove Resolver from autoderef | Aleksey Kladov | 2019-11-25 | 1 | -2/+8 |
| | | | | | Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment. | ||||
* | Simplify | Aleksey Kladov | 2019-11-24 | 1 | -5/+4 |
| | |||||
* | Don't redo field resolution in the IDE | Aleksey Kladov | 2019-11-24 | 1 | -0/+5 |
| | |||||
* | Switch to StaticLoc for statics | Aleksey Kladov | 2019-11-24 | 1 | -8/+4 |
| | |||||
* | Cleanup imports | Aleksey Kladov | 2019-11-24 | 1 | -6/+7 |
| | |||||
* | Add to_macro_file_kind | Edwin Cheng | 2019-11-21 | 1 | -2/+38 |
| | |||||
* | Move resolver to hir_def | Aleksey Kladov | 2019-11-21 | 1 | -8/+8 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-21 | 1 | -4/+9 |
| | |||||
* | Split internal and user-visible ScopeDef | Aleksey Kladov | 2019-11-21 | 1 | -2/+17 |
| | |||||
* | Move ScopeDef | Aleksey Kladov | 2019-11-21 | 1 | -3/+3 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-21 | 1 | -4/+4 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-21 | 1 | -6/+6 |
| | |||||
* | 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 |
| |