Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move constants to new ID | Aleksey Kladov | 2019-11-20 | 1 | -10/+15 |
| | | | | This allows us to get rid of trait item index | ||||
* | Don't duplicate ContainerId type | Aleksey Kladov | 2019-11-20 | 1 | -8/+8 |
| | |||||
* | Switch type aliases to new sources | Aleksey Kladov | 2019-11-20 | 1 | -12/+16 |
| | |||||
* | Next gen IDs for functions | Aleksey Kladov | 2019-11-20 | 1 | -10/+15 |
| | | | | | | | | | | | | | | | | | 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 | ||||
* | Move traits to hir_def | Aleksey Kladov | 2019-11-20 | 1 | -20/+12 |
| | |||||
* | Rename Source::ast -> Source::value | Aleksey Kladov | 2019-11-20 | 1 | -7/+7 |
| | |||||
* | Remove old impls infrastructure | Aleksey Kladov | 2019-11-15 | 1 | -14/+11 |
| | |||||
* | Flatten expr module | Aleksey Kladov | 2019-11-15 | 1 | -1/+1 |
| | |||||
* | Refactor Module::from_source to properly descend from root file | Aleksey Kladov | 2019-11-15 | 1 | -1/+1 |
| | |||||
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -9/+19 |
| | |||||
* | Minor cleanup | Aleksey Kladov | 2019-11-12 | 1 | -5/+5 |
| | |||||
* | Introduce hir::GenericParam | Aleksey Kladov | 2019-11-11 | 1 | -1/+7 |
| | | | | Unlike existing hir::GenericParams, this is a global ID. | ||||
* | Add hir::Local | Aleksey Kladov | 2019-11-11 | 1 | -2/+53 |
| | |||||
* | Unfork struct and union ids | Aleksey Kladov | 2019-11-09 | 1 | -6/+6 |
| | |||||
* | Merge #2179 | bors[bot] | 2019-11-06 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 2179: Use HirDatabase to compute `is_deprecated` r=matklad a=martskins This PR fixes #2167 by introducing `attributes_query` and adding `fn attrs(&self, def: crate::AttrDef) -> Option<Arc<[Attr]>>;` to the `DefDatabase` trait. I'm a little concerned about the two spots in `attributes_query` where code is repeated, but I couldn't figure out a way to avoid that, so.. I welcome suggestions :smile: Co-authored-by: Martin Asquino <[email protected]> | ||||
| * | HirDatabase stored attributes | Martin Asquino | 2019-11-04 | 1 | -0/+1 |
| | | |||||
* | | Move Namespace enum closer to usage | Aleksey Kladov | 2019-11-04 | 1 | -2/+2 |
|/ | |||||
* | Remove last traces of nameres from hir | Aleksey Kladov | 2019-11-03 | 1 | -2/+1 |
| | |||||
* | Move CrateDefMap to hir_def | Aleksey Kladov | 2019-11-03 | 1 | -16/+21 |
| | |||||
* | Move diagnostics to hir_expand | Aleksey Kladov | 2019-11-02 | 1 | -2/+4 |
| | |||||
* | Refactor to unify with method resolution | Florian Diebold | 2019-11-01 | 1 | -0/+9 |
| | |||||
* | move struct & enum data to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -11/+20 |
| | |||||
* | add ModuleDefId to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -3/+3 |
| | |||||
* | move builtin types to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -44/+4 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -4/+4 |
| | |||||
* | remove forward pointer for type_ref | Aleksey Kladov | 2019-10-30 | 1 | -2/+1 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -9/+9 |
| | |||||
* | move raw_items to hir_def | Aleksey Kladov | 2019-10-30 | 1 | -27/+3 |
| | |||||
* | Move ids to hir_def crate | Aleksey Kladov | 2019-10-30 | 1 | -8/+8 |
| | |||||
* | introduce ra_hir_def | Aleksey Kladov | 2019-10-30 | 1 | -36/+41 |
| | |||||
* | remove one more dependency on source roots | Aleksey Kladov | 2019-10-14 | 1 | -5/+3 |
| | |||||
* | add `module` methods | Ekaterina Babshukova | 2019-10-09 | 1 | -0/+32 |
| | |||||
* | Address comments: fix docs, add completion test for `Self`. | ice1000 | 2019-10-08 | 1 | -1/+1 |
| | |||||
* | Support inferring `Self` type in enum definitions | ice1000 | 2019-10-08 | 1 | -2/+2 |
| | | | | Signed-off-by: ice1000 <[email protected]> | ||||
* | Added test for check doc strings in crates. | Alexander Andreev | 2019-09-30 | 1 | -0/+2 |
| | | | | #1856 | ||||
* | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 1 | -3/+11 |
| | | | | + further refactoring. | ||||
* | Resolve trait associated items | Florian Diebold | 2019-09-25 | 1 | -0/+10 |
| | | | | E.g. `Default::default` or `<Foo as Default>::default`. | ||||
* | Remove redundant clone() | Shotaro Yamada | 2019-09-25 | 1 | -1/+1 |
| | |||||
* | Give closures types | Florian Diebold | 2019-09-24 | 1 | -0/+20 |
| | |||||
* | Drive by lints | kjeremy | 2019-09-23 | 1 | -1/+1 |
| | |||||
* | introduce FromSource trait | Ekaterina Babshukova | 2019-09-19 | 1 | -1/+1 |
| | |||||
* | Remove TraitItem and ImplItem in favor of AssocItem | Florian Diebold | 2019-09-17 | 1 | -24/+9 |
| | |||||
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -0/+31 |
| | |||||
* | Remove `is_unnamed` | Dylan MacKenzie | 2019-09-16 | 1 | -4/+0 |
| | |||||
* | Gracefully handle `const _` items in `ConstData` | Dylan MacKenzie | 2019-09-16 | 1 | -4/+8 |
| | |||||
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 1 | -6/+4 |
| | | | | That way, we are able to get rid of a number of unreachable statements | ||||
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 1 | -14/+15 |
| | |||||
* | generalize impl_froms to nested enums | Aleksey Kladov | 2019-09-12 | 1 | -19/+1 |
| | |||||
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -6/+55 |
| | |||||
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 1 | -1/+2 |
| |