aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | slight encapsulationAleksey Kladov2019-04-132-9/+13
| | |
| * | move ScopeEntryWithSyntaxAleksey Kladov2019-04-134-37/+34
| | |
| * | drop obsolete fixmeAleksey Kladov2019-04-132-5/+4
| | |
| * | make expr scope stuff privateAleksey Kladov2019-04-131-11/+9
| | |
| * | make resolver privateAleksey Kladov2019-04-136-26/+23
| | |
| * | hide resolverAleksey Kladov2019-04-134-9/+17
| | |
| * | fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-137-193/+159
| | |
| * | make stuff privateAleksey Kladov2019-04-131-3/+3
| | |
| * | obsolete fixmAleksey Kladov2019-04-131-1/+0
| | |
| * | make privateAleksey Kladov2019-04-131-1/+1
| | |
| * | only def-with-body remainsAleksey Kladov2019-04-131-13/+3
| | |
| * | generalizeAleksey Kladov2019-04-131-15/+7
| | |
| * | simplifyAleksey Kladov2019-04-131-10/+5
| | |
| * | simplifyAleksey Kladov2019-04-131-7/+1
| | |
| * | make privateAleksey Kladov2019-04-131-1/+1
| | |
| * | hide some scopesAleksey Kladov2019-04-134-23/+28
| | |
| * | simplifyAleksey Kladov2019-04-122-17/+12
| | |
| * | make stuff privateAleksey Kladov2019-04-121-6/+2
| | |
| * | simplifyAleksey Kladov2019-04-121-54/+22
| | |
| * | simplify testsAleksey Kladov2019-04-123-36/+23
| | |
| * | use really correct resolver for expressionsAleksey Kladov2019-04-129-13/+27
| | |
| * | fix typoAleksey Kladov2019-04-113-6/+6
| | |
| * | add todoAleksey Kladov2019-04-111-0/+1
| | |
| * | use correct resolver for expressionsAleksey Kladov2019-04-111-3/+1
| | |
| * | remove resolver from CompletonContextAleksey Kladov2019-04-115-31/+9
| | |
| * | simplifyAleksey Kladov2019-04-111-5/+3
| | |
| * | generalize SourceAnalyzer to handle all defs with bodiesAleksey Kladov2019-04-113-11/+51
| | |
| * | minimize the APIAleksey Kladov2019-04-112-23/+11
| | |
| * | renameAleksey Kladov2019-04-1110-18/+18
| | |
| * | reduce visibilityAleksey Kladov2019-04-111-3/+3
| | |
| * | Make call info to use real name resolutionAleksey Kladov2019-04-114-26/+33
| | |
| * | introduce SourceAnalyzerAleksey Kladov2019-04-1115-187/+206
| | |
* | | Merge #1140bors[bot]2019-04-121-38/+38
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 1140: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | :arrow_up: vfsAleksey Kladov2019-04-121-38/+38
|/ /
* | Merge #1133bors[bot]2019-04-111-6/+6
|\ \ | | | | | | | | | | | | | | | | | | | | | 1133: fix typo r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | fix typoAleksey Kladov2019-04-111-6/+6
|/ /
* | Merge #1131bors[bot]2019-04-1010-180/+136
|\ \ | | | | | | | | | | | | | | | | | | | | | 1131: Use inline snapshots in complete_dot r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]>
| * | Use inline snapshots in complete_dotVille Penttinen2019-04-1010-180/+136
| | |
* | | Merge #1130bors[bot]2019-04-104-72/+58
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 1130: Use inline snapshots in complete_fn_param r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]>
| * | Use inline snapshots in complete_fn_paramVille Penttinen2019-04-104-72/+58
|/ /
* | Merge #1128bors[bot]2019-04-1012-74/+85
|\ \ | | | | | | | | | | | | | | | | | | | | | 1128: A touch of type-safety r=matklad a=matklad Note that we intentionally don't use `Either` from crates.io: I like A/B naming more then left/rigth, I feel like we might need Either3 with C at some point, and I'd love the ability to write inherent impls Co-authored-by: Aleksey Kladov <[email protected]>
| * | type-safer source-map for bindingsAleksey Kladov2019-04-107-30/+45
| | |
| * | use either for usesAleksey Kladov2019-04-106-44/+40
|/ /
* | Merge #1126bors[bot]2019-04-0910-219/+110
|\ \ | | | | | | | | | | | | | | | | | | | | | 1126: Swithc to native salsa interning r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | drop old interning infraAleksey Kladov2019-04-092-108/+1
| | |
| * | migrate to salsas interningAleksey Kladov2019-04-098-111/+109
| | |
* | | Merge #1122bors[bot]2019-04-093-1/+126
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | 1122: Add explicit type assist. r=matklad a=marcogroppo This assist can be used to specify the explicit type in let statements. For example `let num = 1;` becomes `let num: i32 = 1;`. The assist is applicable only if the inferred type is fully known. Co-authored-by: Marco Groppo <[email protected]>
| * | Stylistic changes. Updated features.md with the new assists.Marco Groppo2019-04-092-9/+37
| | |
| * | Add explicit type assist.Marco Groppo2019-04-082-0/+97
| |/
* | Merge #1110bors[bot]2019-04-0916-231/+391
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1110: Introduce display module and implement new FunctionSignature for CallInfo's r=matklad a=vipentti This introduces a new module `display` in `ra_ide_api` that contains UI-related things, in addition this refactors CallInfo's function signatures into a new `FunctionSignature` type, which implements `Display` and can be converted into `lsp_types::SignatureInformation` in the `conv` layer. Currently only `CallInfo` uses the `FunctionSignature` directly, but `function_label` now uses the same signature and returns it as a string, using the `Display` implementation. This also fixes #960 I think this similar structure could be applied to other UI-displayable items, so instead of the `ra_ide_api` returning `Strings` we could return some intermediate structures that can be converted into a UI-displayable `String` easily, but that could also provide some additional information. Co-authored-by: Ville Penttinen <[email protected]>