Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Refactor method candidate generation a bit | Florian Diebold | 2019-04-14 | 1 | -1/+27 | |
| | | | | | | This fixes the order in which candidates are chosen a bit (not completely though, as the ignored test demonstrates), and makes autoderef work with trait methods. As a side effect, this also makes completion of trait methods work :) | |||||
* | Get substs for trait refs in impl blocks | Florian Diebold | 2019-04-14 | 1 | -1/+1 | |
| | ||||||
* | hide resolver | Aleksey Kladov | 2019-04-13 | 3 | -3/+3 | |
| | ||||||
* | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 | |
| | ||||||
* | obsolete fixm | Aleksey Kladov | 2019-04-13 | 1 | -1/+0 | |
| | ||||||
* | hide some scopes | Aleksey Kladov | 2019-04-13 | 1 | -13/+9 | |
| | ||||||
* | use really correct resolver for expressions | Aleksey Kladov | 2019-04-12 | 4 | -4/+5 | |
| | ||||||
* | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -3/+3 | |
| | ||||||
* | remove resolver from CompletonContext | Aleksey Kladov | 2019-04-11 | 4 | -7/+4 | |
| | ||||||
* | generalize SourceAnalyzer to handle all defs with bodies | Aleksey Kladov | 2019-04-11 | 1 | -0/+24 | |
| | ||||||
* | minimize the API | Aleksey Kladov | 2019-04-11 | 1 | -4/+2 | |
| | ||||||
* | rename | Aleksey Kladov | 2019-04-11 | 4 | -5/+5 | |
| | ||||||
* | reduce visibility | Aleksey Kladov | 2019-04-11 | 1 | -3/+3 | |
| | ||||||
* | Make call info to use real name resolution | Aleksey Kladov | 2019-04-11 | 2 | -23/+20 | |
| | ||||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 6 | -139/+81 | |
| | ||||||
* | Merge #1131 | bors[bot] | 2019-04-10 | 10 | -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_dot | Ville Penttinen | 2019-04-10 | 10 | -180/+136 | |
| | | ||||||
* | | Use inline snapshots in complete_fn_param | Ville Penttinen | 2019-04-10 | 4 | -72/+58 | |
|/ | ||||||
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 3 | -9/+11 | |
| | ||||||
* | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 2 | -15/+1 | |
| | ||||||
* | Fix doc comment | Ville Penttinen | 2019-04-09 | 1 | -1/+1 | |
| | ||||||
* | Move display related things from hover to display | Ville Penttinen | 2019-04-09 | 3 | -109/+110 | |
| | ||||||
* | Move FunctionSignature to display/function_signature | Ville Penttinen | 2019-04-09 | 2 | -100/+104 | |
| | ||||||
* | Make display modules private | Ville Penttinen | 2019-04-09 | 2 | -5/+6 | |
| | ||||||
* | Move structure to display/structure | Ville Penttinen | 2019-04-09 | 4 | -9/+9 | |
| | ||||||
* | Move navigation_target to display/navigation_target | Ville Penttinen | 2019-04-09 | 4 | -4/+6 | |
| | ||||||
* | Move completion label functions to display | Ville Penttinen | 2019-04-09 | 4 | -31/+32 | |
| | ||||||
* | Add FunctionSignature::from_hir | Ville Penttinen | 2019-04-09 | 2 | -6/+11 | |
| | ||||||
* | Normalize line-endings in display.rs | Ville Penttinen | 2019-04-09 | 1 | -112/+112 | |
| | | | | This changes from CRLF to LF | |||||
* | Move FunctionSignature creation to display | Ville Penttinen | 2019-04-09 | 3 | -50/+54 | |
| | ||||||
* | Add no parameter test to call_info | Ville Penttinen | 2019-04-09 | 1 | -0/+19 | |
| | ||||||
* | Move FunctionSignature to display, remove write_joined | Ville Penttinen | 2019-04-09 | 2 | -49/+36 | |
| | | | | | write_joined is replaced with `join_to_string::join` which provides the necessary functionality. | |||||
* | Move test specific things | Ville Penttinen | 2019-04-09 | 1 | -10/+11 | |
| | ||||||
* | Update test snapshots | Ville Penttinen | 2019-04-09 | 2 | -10/+10 | |
| | ||||||
* | Refactor CallInfo function signatures to new FunctionSignature type | Ville Penttinen | 2019-04-09 | 5 | -51/+177 | |
| | | | | | This is used by CallInfo to create a pretty printed function signature that can be used with completions and other places as well. | |||||
* | Rudimentarily autocomplete tuple struct field access | robojumper | 2019-04-06 | 2 | -0/+38 | |
| | ||||||
* | always produce source for import | Aleksey Kladov | 2019-04-02 | 1 | -5/+8 | |
| | ||||||
* | always show token text | Aleksey Kladov | 2019-04-02 | 1 | -84/+85 | |
| | ||||||
* | fix a panic with glob-import missing a source map | Aleksey Kladov | 2019-04-02 | 1 | -0/+12 | |
| | ||||||
* | More future-proof comment kind | Aleksey Kladov | 2019-04-02 | 2 | -3/+6 | |
| | ||||||
* | fix comment naming | Aleksey Kladov | 2019-04-02 | 1 | -3/+6 | |
| | ||||||
* | add ast::tokens | Aleksey Kladov | 2019-04-02 | 4 | -14/+14 | |
| | ||||||
* | Merge #1067 | bors[bot] | 2019-04-01 | 1 | -6/+28 | |
|\ | | | | | | | | | | | | | | | 1067: Take number of arguments at the call-site into account for signature help r=matklad a=kjeremy Fixes #1065 Co-authored-by: kjeremy <[email protected]> | |||||
| * | Simplify | kjeremy | 2019-03-27 | 1 | -13/+14 | |
| | | ||||||
| * | Take number of arguments at the call-site into account for signature help | kjeremy | 2019-03-27 | 1 | -1/+22 | |
| | | | | | | | | Fixes #1065 | |||||
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 13 | -244/+274 | |
|/ | ||||||
* | Merge #1059 | bors[bot] | 2019-03-26 | 1 | -2/+2 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | 1059: Typed ids r=matklad a=matklad just some type-safety and refactorings. closes https://github.com/rust-analyzer/rust-analyzer/issues/1054 bors r+ Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | rename | Aleksey Kladov | 2019-03-26 | 1 | -2/+2 | |
| | | ||||||
* | | Move ra_ide_api unit tests | Wilco Kusee | 2019-03-25 | 4 | -2/+391 | |
|/ | ||||||
* | Merge #1034 | bors[bot] | 2019-03-25 | 1 | -30/+57 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1034: HIR diagnostics API r=matklad a=matklad This PR introduces diagnostics API for HIR, so we can now start issuing errors and warnings! Here are requirements that this solution aims to fulfill: * structured diagnostics: rather than immediately rendering error to string, we provide a well-typed blob of data with error-description. These data is used by IDE to provide fixes * open set diagnostics: there's no single enum with all possible diagnostics, which hopefully should result in better modularity The `Diagnostic` trait describes "a diagnostic", which can be downcast to a specific diagnostic kind. Diagnostics are expressed in terms of macro-expanded syntax tree: they store pointers to syntax nodes. Diagnostics are self-contained: you don't need any context, besides `db`, to fully understand the meaning of a diagnostic. Because diagnostics are tied to the source, we can't store them in salsa. So subsystems like type-checking produce subsystem-local diagnostic (which is a closed `enum`), which is expressed in therms of subsystem IR. A separate step converts these proto-diagnostics into `Diagnostic`, by merging them with source-maps. Note that this PR stresses type-system quite a bit: we now type-check every function in open files to compute errors! Discussion on Zulip: https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Diagnostics.20API Co-authored-by: Aleksey Kladov <[email protected]> |