Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 1 | -1/+1 | |
| | ||||||
* | lang_item_lookup is now a salsa query. | Marco Groppo | 2019-04-19 | 1 | -2/+5 | |
| | ||||||
* | Initial support for lang items. | Marco Groppo | 2019-04-19 | 1 | -0/+4 | |
| | ||||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -2/+5 | |
| | | | | | | | | | | - 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) | |||||
* | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 1 | -4/+22 | |
| | ||||||
* | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 1 | -1/+1 | |
| | | | | | | and added inference the inference test reduce code duplication | |||||
* | Added defWithBody | Lenard Pratt | 2019-03-30 | 1 | -4/+5 | |
| | ||||||
* | rename | Aleksey Kladov | 2019-03-26 | 1 | -5/+5 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-03-26 | 1 | -1/+1 | |
| | ||||||
* | move source_id to a separate file | Aleksey Kladov | 2019-03-26 | 1 | -2/+2 | |
| | ||||||
* | make macro parsing a query | Aleksey Kladov | 2019-03-26 | 1 | -1/+4 | |
| | ||||||
* | store macro def inside macro id | Aleksey Kladov | 2019-03-26 | 1 | -3/+6 | |
| | | | | | | | | This solves the problem of "macro expansion can't call into name resolution, because name resolution calls back into macro expansion" Because we store macro def as a part of call id, macro expansion just knows the def! | |||||
* | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 1 | -1/+4 | |
| | | | | ... to make the infer_trait_method_simple test have the correct result. | |||||
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -0/+4 | |
| | ||||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -3/+3 | |
| | ||||||
* | remove old macro support | Aleksey Kladov | 2019-03-17 | 1 | -6/+1 | |
| | ||||||
* | Reorganize name resolution | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 | |
| | ||||||
* | remove lower module | Aleksey Kladov | 2019-03-17 | 1 | -10/+4 | |
| | ||||||
* | remove ItemMap | Aleksey Kladov | 2019-03-17 | 1 | -4/+1 | |
| | ||||||
* | Replace module_tree with CrateDefMap | Aleksey Kladov | 2019-03-17 | 1 | -14/+7 | |
| | ||||||
* | Remove FnSig from FnDef type | Florian Diebold | 2019-03-16 | 1 | -1/+4 | |
| | | | | | It doesn't need to be in there since it's just information from the def. Another step towards aligning Ty with Chalk's representation. | |||||
* | align lower module query names | Aleksey Kladov | 2019-03-02 | 1 | -7/+7 | |
| | ||||||
* | dont store body inside source map | Aleksey Kladov | 2019-03-02 | 1 | -4/+7 | |
| | ||||||
* | rename syntax-mapping -> source-map | Aleksey Kladov | 2019-03-02 | 1 | -2/+2 | |
| | ||||||
* | Add static type inference | Ville Penttinen | 2019-02-25 | 1 | -1/+4 | |
| | ||||||
* | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -0/+4 | |
| | ||||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -3/+5 | |
| | ||||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 1 | -1/+4 | |
| | ||||||
* | Handle tuple structs / enum variants properly in type inference | Florian Diebold | 2019-02-17 | 1 | -2/+2 | |
| | ||||||
* | remove query_definitions | Aleksey Kladov | 2019-02-11 | 1 | -3/+2 | |
| | ||||||
* | make HirDatabase object-safe | Aleksey Kladov | 2019-02-03 | 1 | -0/+5 | |
| | ||||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -16/+13 | |
| | ||||||
* | split hirdatabase | csmoe | 2019-02-01 | 1 | -20/+26 | |
| | ||||||
* | Move expr_scopes query to its module | Florian Diebold | 2019-01-30 | 1 | -1/+1 | |
| | ||||||
* | Rename FnScopes -> ExprScopes | Florian Diebold | 2019-01-30 | 1 | -3/+3 | |
| | | | | | The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore. | |||||
* | Use Crate instead of CrateId | Aleksey Kladov | 2019-01-30 | 1 | -3/+3 | |
| | ||||||
* | move item_map_query | Aleksey Kladov | 2019-01-30 | 1 | -1/+1 | |
| | ||||||
* | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 1 | -1/+10 | |
| | ||||||
* | remove Option<SourceFileItemId> hack | Aleksey Kladov | 2019-01-26 | 1 | -1/+6 | |
| | ||||||
* | rename source_file -> parse | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 | |
| | ||||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 | |
| | ||||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 | |
| | ||||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 | |
| | ||||||
* | use positional ids for fields | Aleksey Kladov | 2019-01-25 | 1 | -4/+4 | |
| | ||||||
* | pack enum variants into arena | Aleksey Kladov | 2019-01-25 | 1 | -5/+2 | |
| | ||||||
* | move enum variant to the new API | Aleksey Kladov | 2019-01-24 | 1 | -3/+3 | |
| | ||||||
* | migrate enums to new id | Aleksey Kladov | 2019-01-24 | 1 | -3/+3 | |
| | ||||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -3/+4 | |
| | ||||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -10/+10 | |
| | ||||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -26/+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 |