Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove ast::*Kind from hir | Aleksey Kladov | 2019-08-19 | 1 | -4/+4 |
| | |||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -12/+12 |
| | |||||
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -8/+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 | ||||
* | remove unneded From(..) impl | Aleksey Kladov | 2019-06-11 | 1 | -8/+1 |
| | |||||
* | use Source for module, part 1 | Aleksey Kladov | 2019-06-11 | 1 | -7/+7 |
| | |||||
* | use Source for impl block | Aleksey Kladov | 2019-06-11 | 1 | -6/+12 |
| | |||||
* | Fix clippy::identity_conversion | Alan Du | 2019-06-04 | 1 | -1/+0 |
| | |||||
* | add AstDatabase | Aleksey Kladov | 2019-06-02 | 1 | -5/+12 |
| | |||||
* | collect impl source maps | Aleksey Kladov | 2019-06-01 | 1 | -8/+1 |
| | |||||
* | rename code_model_api -> code_model | Aleksey Kladov | 2019-05-23 | 1 | -1/+1 |
| | |||||
* | make AstId untyped | Aleksey Kladov | 2019-05-13 | 1 | -1/+1 |
| | |||||
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 1 | -1/+7 |
| | | | | | We don't pass field types to Chalk yet though, so the auto trait inference won't be correct. | ||||
* | Extract generic_params method to a HasGenericParams trait | Florian Diebold | 2019-04-14 | 1 | -7/+4 |
| | |||||
* | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 1 | -1/+1 |
| | |||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -1/+2 |
| | | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk) | ||||
* | Get substs for trait refs in impl blocks | Florian Diebold | 2019-04-14 | 1 | -14/+4 |
| | |||||
* | make resolver private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
| | |||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -18/+11 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | |||||
* | remove lower module | Aleksey Kladov | 2019-03-17 | 1 | -2/+3 |
| | |||||
* | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 1 | -1/+1 |
| | |||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -10/+6 |
| | |||||
* | Resolve impl generic params | Florian Diebold | 2019-02-16 | 1 | -1/+3 |
| | |||||
* | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 1 | -6/+10 |
| | |||||
* | Turn ImplBlock into a copy type just containing IDs | Florian Diebold | 2019-02-16 | 1 | -20/+23 |
| | | | | | | | This makes it more like the other code model types. Also make Module::definition_source/declaration_source return HirFileIds, to make them more like the other source functions. | ||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -17/+6 |
| | |||||
* | Some clippy cleanups | kjeremy | 2019-02-06 | 1 | -1/+1 |
| | |||||
* | Make the Resolution variants tuple variants | Florian Diebold | 2019-02-01 | 1 | -4/+3 |
| | |||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 1 | -5/+22 |
| | |||||
* | Implement methods to build a resolver | Florian Diebold | 2019-02-01 | 1 | -16/+29 |
| | |||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -6/+14 |
| | |||||
* | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 1 | -6/+51 |
| | |||||
* | kill DefKindc | Aleksey Kladov | 2019-01-24 | 1 | -32/+12 |
| | |||||
* | remove boilerplate | Aleksey Kladov | 2019-01-24 | 1 | -1/+3 |
| | |||||
* | remove DefKind::Function | Aleksey Kladov | 2019-01-24 | 1 | -4/+4 |
| | |||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -16/+15 |
| | |||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -15/+10 |
| | | | | | | | this is a part of larghish hir refactoring which aims to * replace per-source-root module trees with per crate trees * switch from a monotyped DedId to type-specific ids | ||||
* | encapsulate hir locations | Aleksey Kladov | 2019-01-24 | 1 | -3/+3 |
| | |||||
* | remove Cancelable from ids | Aleksey Kladov | 2019-01-15 | 1 | -7/+5 |
| | |||||
* | remove Cancelable from Module API | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from source binders | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | Small improvements from review comments | Florian Diebold | 2019-01-12 | 1 | -4/+4 |
| | |||||
* | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 1 | -8/+28 |
| | |||||
* | Fix typos in ARCHITECTURE.md and a number of crates | Marcus Klaas de Vries | 2019-01-09 | 1 | -6/+6 |
| | | | | specifically: gen_lsp_server, ra_arena, ra_cli, ra_db, ra_hir | ||||
* | Fix typo defenition -> definition | Marcus Klaas de Vries | 2019-01-08 | 1 | -1/+1 |
| | |||||
* | migrate ra_hir to rowan 2.0 | Aleksey Kladov | 2019-01-08 | 1 | -11/+11 |
| | |||||
* | flatten module structure | Aleksey Kladov | 2019-01-06 | 1 | -1/+1 |
| | |||||
* | split module source into decl/defin | Aleksey Kladov | 2019-01-06 | 1 | -7/+7 |
| | |||||
* | kill old module | Aleksey Kladov | 2019-01-06 | 1 | -11/+13 |
| | |||||
* | Do impl collection per module, not per crate | Florian Diebold | 2019-01-04 | 1 | -27/+25 |
| |