Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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]> | |||||
| * | move tests to where they belong | Aleksey Kladov | 2019-03-25 | 1 | -0/+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 | |
| | | ||||||
| * | cleanup | Aleksey Kladov | 2019-03-25 | 1 | -2/+2 | |
| | | ||||||
| * | switch modules to new diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -36/+30 | |
| | | ||||||
| * | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -18/+8 | |
| | | ||||||
| * | diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -1/+29 | |
| | | ||||||
* | | structure moved to ra_ide_api | Sergey Parilin | 2019-03-25 | 3 | -6/+377 | |
|/ | | | | ra_ide_api_light removed completely | |||||
* | Rename source_edit to source_file_edit to match file_system_edit | Ville Penttinen | 2019-03-25 | 5 | -11/+11 | |
| | ||||||
* | Further improvements to the SourceChange convenience methods | Ville Penttinen | 2019-03-25 | 4 | -27/+50 | |
| | | | | | Rename system_edit to file_system_edit, add more documentation, add source_file_edit_from to create a SourceChange from `FileId` and `TextEdit`. | |||||
* | Add convenience functions to SourceChange for creating single edits | Ville Penttinen | 2019-03-24 | 4 | -44/+63 | |
| | ||||||
* | Merge #1031 | bors[bot] | 2019-03-23 | 6 | -31/+594 | |
|\ | | | | | | | | | | | | | | | | | | | 1031: Move most things out of ra_ide_api_light r=matklad a=detrumi This moves everything except `structure` out of `ra_ide_api_light`. So this PR and #1019 finish up #1009, whichever is merged last should probably remove the `ra_ide_api_light` crate. Also, `LocalEdit` was removed since it wasn't used any more. Co-authored-by: Wilco Kusee <[email protected]> | |||||
| * | Move highlighting and matching_brace | Wilco Kusee | 2019-03-23 | 5 | -11/+165 | |
| | | ||||||
| * | Remove LocalEdit usage | Wilco Kusee | 2019-03-23 | 2 | -55/+55 | |
| | | ||||||
| * | Move typing to ra_ide_api | Wilco Kusee | 2019-03-23 | 2 | -3/+412 | |
| | | ||||||
* | | remove obsolete diagnostic | Aleksey Kladov | 2019-03-23 | 1 | -21/+0 | |
| | | ||||||
* | | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 | |
|/ | ||||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 7 | -7/+7 | |
| | ||||||
* | Simplify changes and fix tests | Wilco Kusee | 2019-03-22 | 3 | -19/+15 | |
| | ||||||
* | Remove LocalEdit usage | Wilco Kusee | 2019-03-22 | 2 | -16/+17 | |
| | ||||||
* | Move join_lines to ra_ide_api | Wilco Kusee | 2019-03-22 | 3 | -4/+616 | |
| | ||||||
* | Move folding_ranges to ra_ide_api | Sergey Parilin | 2019-03-22 | 2 | -2/+330 | |
| | ||||||
* | line_index and line_index_utils moved to ra_ide_api | Sergey Parilin | 2019-03-22 | 3 | -1/+614 | |
| | ||||||
* | Rename name field to ctor as well | Florian Diebold | 2019-03-21 | 1 | -1/+1 | |
| | ||||||
* | TypeName => TypeCtor | Florian Diebold | 2019-03-21 | 1 | -3/+3 | |
| | ||||||
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 4 | -42/+22 | |
| | ||||||
* | cleanup | Aleksey Kladov | 2019-03-21 | 1 | -68/+73 | |
| | ||||||
* | move diagnostics to ide_api | Aleksey Kladov | 2019-03-21 | 1 | -10/+250 | |
| | ||||||
* | move extend selection from ra_ide_api_light to ra_ide_api | Aleksey Kladov | 2019-03-20 | 1 | -6/+371 | |
| | ||||||
* | introduce Analysis::from_single_file | Aleksey Kladov | 2019-03-20 | 1 | -0/+17 | |
| | ||||||
* | remove old macro support | Aleksey Kladov | 2019-03-17 | 2 | -78/+4 | |
| | ||||||
* | remove lower module | Aleksey Kladov | 2019-03-17 | 2 | -9/+4 | |
| | ||||||
* | Replace module_tree with CrateDefMap | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 | |
| | ||||||
* | Replace Display by a pretty printing trait for Ty | Florian Diebold | 2019-03-16 | 2 | -6/+10 | |
| | | | | | This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :) | |||||
* | sort navigations to make tests stable | Aleksey Kladov | 2019-03-14 | 1 | -1/+2 | |
| |