aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Merge #2418bors[bot]2019-11-264-13/+19
|\ | | | | | | | | | | | | | | 2418: Hide MacroCallLoc outside hir_expand r=matklad a=edwin0cheng This PR refactor `MacroCallLoc` such that it be hided to become implementation details of hir_expand. Co-authored-by: Edwin Cheng <[email protected]>
| * Hide MacroCallLocEdwin Cheng2019-11-264-13/+19
| |
* | Merge #2419bors[bot]2019-11-2612-241/+207
|\ \ | | | | | | | | | | | | | | | | | | | | | 2419: Remove ns-polymorphic type_for_def r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Remove ns-polymorphic type_for_defAleksey Kladov2019-11-269-165/+129
| | |
| * | Cleanup importsAleksey Kladov2019-11-262-6/+7
| | |
| * | Reduce visibilityAleksey Kladov2019-11-262-4/+5
| | |
| * | Use TraitId in TraitRefAleksey Kladov2019-11-266-68/+68
| | |
* | | Add noteAleksey Kladov2019-11-261-0/+2
|/ /
* | Remove another helperAleksey Kladov2019-11-263-25/+27
| |
* | DocAleksey Kladov2019-11-261-0/+3
| |
* | Remove assoc_type_by_name helperAleksey Kladov2019-11-265-39/+34
| |
* | Store names in TraitDataAleksey Kladov2019-11-263-25/+43
| |
* | Detangle ty from traits a bitAleksey Kladov2019-11-265-49/+63
|/
* Merge #2412bors[bot]2019-11-261-1/+1
|\ | | | | | | | | | | | | | | 2412: Fix stale crates that snuck in r=kjeremy a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]>
| * Fix stale crates that snuck inJeremy Kolb2019-11-261-1/+1
| |
* | Merge #2406bors[bot]2019-11-265-13/+34
|\ \ | |/ |/| | | | | | | | | | | 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 Cheng2019-11-261-2/+0
| |
| * Add hygiene information to SourceAnalyzerEdwin Cheng2019-11-265-13/+36
| |
* | Merge #2410bors[bot]2019-11-2611-245/+306
|\ \ | | | | | | | | | | | | | | | | | | | | | 2410: Introduce hir_ty r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Doc primitivesAleksey Kladov2019-11-262-2/+6
| | |
| * | id-ify impls_in_crate_queryAleksey Kladov2019-11-266-56/+74
| | |
| * | Introduce hir_tyAleksey Kladov2019-11-266-190/+229
| | |
* | | Update parking_lot and smallvec to drop some dependenciesJeremy Kolb2019-11-262-2/+2
|/ /
* | Id-ify Ty::AdtAleksey Kladov2019-11-2611-39/+98
| |
* | Introduce hir::TypeAleksey Kladov2019-11-2615-136/+253
| | | | | | | | It should provide a convenient API over more low-level Ty
* | Use chalk fork to paper over #2052Aleksey Kladov2019-11-261-3/+5
| |
* | :arrow_up: salsaAleksey Kladov2019-11-268-5/+21
|/
* Use TypeAliasId in Ty, pt 2Aleksey Kladov2019-11-255-46/+40
|
* Use TypeAliasId in Ty, pt 1Aleksey Kladov2019-11-252-11/+29
|
* More ids in TyAleksey Kladov2019-11-254-17/+13
|
* Fixme for union fieldsAleksey Kladov2019-11-254-0/+9
|
* Fix hir for ast::UnionDefAleksey Kladov2019-11-2522-86/+121
|
* Introduce dedicated AST node for unionAleksey Kladov2019-11-257-15/+63
| | | | | | | | | | Although structs and unions have the same syntax and differ only in the keyword, re-using the single syntax node for both of them leads to confusion in practice, and propagates further down the hir in an upleasent way. Moreover, static and consts also share syntax, but we use different nodes for them.
* Merge #2388bors[bot]2019-11-252-2/+8
|\ | | | | | | | | | | | | | | 2388: Show missing struct fields in the error message r=matklad a=Frizi This provides the most interesting information about the "missing structure fields" error directly to the user. Co-authored-by: Frizi <[email protected]>
| * Show missing struct fields in the error messageFrizi2019-11-242-2/+8
| |
* | Use ids for CallableAleksey Kladov2019-11-254-34/+50
| |
* | Use more IDsAleksey Kladov2019-11-251-17/+18
| |
* | Use GenericDefIdMoreAleksey Kladov2019-11-2510-56/+44
| |
* | Use GenericDefId moreAleksey Kladov2019-11-255-33/+20
| |
* | Remove Resolver from autoderefAleksey Kladov2019-11-257-49/+73
| | | | | | | | | | Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment.
* | Push resolver upAleksey Kladov2019-11-251-12/+15
| |
* | Merge #2362bors[bot]2019-11-252-0/+39
|\ \ | | | | | | | | | | | | | | | | | | | | | 2362: Expand compile_error! r=edwin0cheng a=kjeremy Does not validate that the input is a string literal. I thought that I could `match_ast!` against the `macro_args` but that did not work. Even if it had I am not sure which error would be appropriate. Co-authored-by: Jeremy Kolb <[email protected]>
| * | Expand compile_error!Jeremy Kolb2019-11-252-0/+39
| | |
* | | Merge #2392bors[bot]2019-11-251-5/+16
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2392: Fix panic during the expansion of `column!` r=edwin0cheng a=marcogroppo Fixes #2379. Well, this isn't the "proper" fix but it doesn't hurt, IMHO. The problem is that `to_col_number`, called by `column_expand`, receives a position number that isn't included in the text range of the file. My (very limited) understanding is that the text is the one of the original file, while `pos` is relative to something else, probably the text of the macro. Notice that in this case the `column!` expansion seems to be triggered by `assert_eq!`, so we're in the middle of another expansion. This PR simply avoids the panic by checking the length of the text. r? @edwin0cheng Co-authored-by: Marco Groppo <[email protected]>
| * | Fix panic during the expansion of `column!`Marco Groppo2019-11-241-5/+16
| | |
* | | Merge #2396bors[bot]2019-11-2410-42/+68
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2396: Switch to variant-granularity field type inference r=flodiebold a=matklad r? @flodiebold Previously, we had a `ty` query for each field. This PR switcthes to a query per struct, which returns an `ArenaMap` with `Ty`s. I don't know which approach is better. What is bugging me about the original approach is that, if we do all queries on the "leaf" defs, in practice we get a ton of queries which repeatedly reach into the parent definition to compute module, resolver, etc. This *seems* wasteful (but I don't think this is really what causes any perf problems for us). At the same time, I've been looking at Kotlin, and they seem to use the general pattern of analyzing the *parent* definition, and storing info about children into a `BindingContext`. I don't really which way is preferable. I think I want to try this approach, where query granularity generally mirrors the data granularity. The primary motivation for me here is probably just hope that we can avoid adding a ton of helpers to a `StructField`, and maybe in general avoid the need to switch to a global `StructField`, using `LocalStructFieldId` most of the time internally. For external API (ie, for `ra_ide_api`), I think we should continue with fine-grained `StructField::ty` approach, which internally fetches the table for the whole struct and indexes into it. In terms of actual memory savings, the results are as follows: ``` This PR: 142kb FieldTypesQuery (deps) 38kb FieldTypesQuery Status Quo: 208kb TypeForFieldQuery (deps) 18kb TypeForFieldQuery ``` Note how the table itself occupies more than twice as much space! I don't have an explanation for this: a plausible hypothesis is that single-field structs are very common and for them the table is a pessimisation. THere's noticiable wallclock time difference. Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Switch to variant-granularity field type inferenceAleksey Kladov2019-11-2410-42/+68
| | | |
* | | | Implement HasModule for AdtIdAleksey Kladov2019-11-242-9/+13
|/ / /
* | | Simplify ADT fieldsAleksey Kladov2019-11-245-26/+29
| | |
* | | Remove impl_block moduleAleksey Kladov2019-11-244-55/+43
| | |