Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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]> | |||||
| * | move tests to where they belong | Aleksey Kladov | 2019-03-25 | 3 | -44/+31 | |
| | | ||||||
| * | simplify | Aleksey Kladov | 2019-03-25 | 1 | -6/+1 | |
| | | ||||||
| * | tweak diagnostics API | Aleksey Kladov | 2019-03-25 | 1 | -2/+2 | |
| | | ||||||
| * | more enterprisey diagnostics setup | Aleksey Kladov | 2019-03-25 | 1 | -49/+30 | |
| | | ||||||
| * | fixes | Aleksey Kladov | 2019-03-25 | 1 | -3/+2 | |
| | | ||||||
| * | check impls as well | Aleksey Kladov | 2019-03-25 | 1 | -0/+9 | |
| | |