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 | 5 | -378/+391 |
|/ | |||||
* | Merge #1034 | bors[bot] | 2019-03-25 | 3 | -74/+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]> |