Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move expr resolver to resolve | Aleksey Kladov | 2019-11-21 | 1 | -3/+28 |
| | |||||
* | Decouple Resolver | Aleksey Kladov | 2019-11-21 | 1 | -56/+61 |
| | |||||
* | Simplify | Aleksey Kladov | 2019-11-20 | 1 | -33/+6 |
| | |||||
* | Add HasResolver trait | Aleksey Kladov | 2019-11-20 | 1 | -2/+129 |
| | |||||
* | Simplify generic params | Aleksey Kladov | 2019-11-20 | 1 | -15/+24 |
| | |||||
* | Move Generics to hir_def | Aleksey Kladov | 2019-11-20 | 1 | -1/+1 |
| | |||||
* | Remove old impls infrastructure | Aleksey Kladov | 2019-11-15 | 1 | -3/+2 |
| | |||||
* | Reduce visibility | Aleksey Kladov | 2019-11-15 | 1 | -3/+3 |
| | |||||
* | Use Local more | Aleksey Kladov | 2019-11-15 | 1 | -7/+10 |
| | |||||
* | Move scopes to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -4/+1 |
| | |||||
* | Remove last traces of nameres from hir | Aleksey Kladov | 2019-11-03 | 1 | -2/+2 |
| | |||||
* | Move CrateDefMap to hir_def | Aleksey Kladov | 2019-11-03 | 1 | -52/+56 |
| | |||||
* | move builtin types to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -2/+2 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
| | |||||
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -9/+11 |
| | |||||
* | introduce ra_hir_def | Aleksey Kladov | 2019-10-30 | 1 | -7/+10 |
| | |||||
* | 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 | -5/+27 |
| | | | | Signed-off-by: ice1000 <[email protected]> | ||||
* | Handle associated type shorthand (`T::Item`) | Florian Diebold | 2019-09-22 | 1 | -0/+7 |
| | | | | | | | | | | | | This is only allowed for generic parameters (including `Self` in traits), and special care needs to be taken to not run into cycles while resolving it, because we use the where clauses of the generic parameter to find candidates for the trait containing the associated type, but the where clauses may themselves contain instances of short-hand associated types. In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U: Iterator`. If there is a cycle, we'll currently panic, which isn't great, but better than overflowing the stack... | ||||
* | account for impls generated by macros | Aleksey Kladov | 2019-09-18 | 1 | -2/+2 |
| | |||||
* | Refactor some more | Florian Diebold | 2019-09-17 | 1 | -8/+8 |
| | | | | | | Type-relative paths (`<T>::foo`) also need to work in type context, for example `<T>::Item` is legal. So rather than returning the type ref from the resolver function, just check it before. | ||||
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -4/+4 |
| | |||||
* | Move store TypeRef of type based path in PathKind | uHOOCCOOHu | 2019-09-15 | 1 | -1/+1 |
| | |||||
* | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -11/+17 |
| | |||||
* | make PerNs non-generic | Aleksey Kladov | 2019-09-13 | 1 | -7/+3 |
| | |||||
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 1 | -172/+233 |
| | | | | That way, we are able to get rid of a number of unreachable statements | ||||
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 1 | -3/+3 |
| | |||||
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -3/+3 |
| | |||||
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 1 | -1/+37 |
| | | | | | | | 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. | ||||
* | Make macro scope a real name scope | uHOOCCOOHu | 2019-09-09 | 1 | -6/+8 |
| | | | | Fix some details about module scoping | ||||
* | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 1 | -5/+5 |
| | |||||
* | Add trait obligations for where clauses when calling functions/methods | Florian Diebold | 2019-07-06 | 1 | -0/+12 |
| | | | | | E.g. if we call `foo<T: Into<u32>>(x)`, that adds an obligation that `x: Into<u32>`, etc. | ||||
* | Some clippy fixes for 1.36 | Jeremy Kolb | 2019-07-04 | 1 | -2/+2 |
| | |||||
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -5/+8 |
| | | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway | ||||
* | use single version of either in hir | Aleksey Kladov | 2019-06-10 | 1 | -2/+2 |
| | |||||
* | remove some hacks from nameresolution for macros | Aleksey Kladov | 2019-06-08 | 1 | -7/+10 |
| | |||||
* | somewhat better name | Aleksey Kladov | 2019-06-08 | 1 | -1/+5 |
| | |||||
* | add a fixme | Aleksey Kladov | 2019-06-08 | 1 | -2/+2 |
| | |||||
* | Improve goto definition for MBE | Edwin Cheng | 2019-06-01 | 1 | -3/+7 |
| | |||||
* | rename code_model_api -> code_model | Aleksey Kladov | 2019-05-23 | 1 | -1/+1 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-12 | 1 | -14/+3 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-12 | 1 | -1/+1 |
| | |||||
* | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 1 | -13/+12 |
| | |||||
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -2/+1 |
| | | | | | - add proper canonicalization logic - add conversions from/to Chalk IR | ||||
* | Use correct FileId when expanding macros in expressions | Aleksey Kladov | 2019-05-01 | 1 | -18/+6 |
| | |||||
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 1 | -4/+28 |
| | | | | | | changed to manual expansion fix for nested macros | ||||
* | Added macro resolution and expansion | Lenard Pratt | 2019-04-22 | 1 | -1/+6 |
| | |||||
* | New krate() method in Resolver. | Marco Groppo | 2019-04-19 | 1 | -2/+8 |
| | | | | Renamed Impl to ImplBlock. | ||||
* | Initial support for lang items. | Marco Groppo | 2019-04-19 | 1 | -1/+1 |
| |