Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | made ExprCollector pub(crate) and moved | Lenard Pratt | 2019-04-02 | 2 | -14/+11 |
| | | | | collect_fn_body_syntax | ||||
* | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 10 | -91/+180 |
| | | | | | | and added inference the inference test reduce code duplication | ||||
* | Added defWithBody | Lenard Pratt | 2019-03-30 | 7 | -24/+120 |
| | |||||
* | Add tests to ra_syntax for extern_crate_self | memoryruins | 2019-03-28 | 2 | -1/+17 |
| | |||||
* | Add extern_crate_self to ra_parser. | memoryruins | 2019-03-28 | 1 | -0/+4 |
| | |||||
* | update salsa some more | Aleksey Kladov | 2019-03-27 | 1 | -1/+1 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-03-27 | 1 | -1/+1 |
| | |||||
* | Use EXE extension for pre-commit hook on Window | Hrvoje Ban | 2019-03-27 | 1 | -1/+5 |
| | |||||
* | Flip any binary expression except assignments. | Marco Groppo | 2019-03-26 | 1 | -64/+56 |
| | |||||
* | Merge branch 'master' of github.com:rust-analyzer/rust-analyzer into ↵ | Marco Groppo | 2019-03-26 | 25 | -811/+990 |
|\ | | | | | | | flip-binexpr | ||||
| * | more realistic test for incrementality | Aleksey Kladov | 2019-03-26 | 1 | -5/+22 |
| | | |||||
| * | Merge #1059 | bors[bot] | 2019-03-26 | 11 | -209/+233 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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]> | ||||
| | * | reduce visibility | Aleksey Kladov | 2019-03-26 | 2 | -12/+12 |
| | | | |||||
| | * | rename | Aleksey Kladov | 2019-03-26 | 7 | -56/+44 |
| | | | |||||
| | * | simplify | Aleksey Kladov | 2019-03-26 | 3 | -21/+21 |
| | | | |||||
| | * | make stuff private | Aleksey Kladov | 2019-03-26 | 1 | -26/+14 |
| | | | |||||
| | * | more type safety | Aleksey Kladov | 2019-03-26 | 5 | -63/+82 |
| | | | |||||
| | * | strongy-typed ids for macros | Aleksey Kladov | 2019-03-26 | 4 | -33/+19 |
| | | | |||||
| | * | add typed ids | Aleksey Kladov | 2019-03-26 | 7 | -45/+88 |
| | | | |||||
| * | | Merge #1051 | bors[bot] | 2019-03-26 | 5 | -378/+391 |
| |\ \ | | |/ | |/| | | | | | | | | | | | | | | | | 1051: Move ra_ide_api unit tests r=matklad a=detrumi Closes #1048 Co-authored-by: Wilco Kusee <[email protected]> | ||||
| | * | Move ra_ide_api unit tests | Wilco Kusee | 2019-03-25 | 5 | -378/+391 |
| | | | |||||
| * | | remove some dead code | Aleksey Kladov | 2019-03-26 | 1 | -17/+1 |
| | | | |||||
| * | | simplify | Aleksey Kladov | 2019-03-26 | 3 | -8/+6 |
| | | | |||||
| * | | move source_id to a separate file | Aleksey Kladov | 2019-03-26 | 8 | -120/+128 |
| | | | |||||
| * | | make macro parsing a query | Aleksey Kladov | 2019-03-26 | 3 | -5/+8 |
| | | | |||||
| * | | reduce visibility | Aleksey Kladov | 2019-03-26 | 1 | -23/+27 |
| | | | |||||
| * | | store macro def inside macro id | Aleksey Kladov | 2019-03-26 | 7 | -119/+73 |
| | | | | | | | | | | | | | | | | | | | | | | | | This solves the problem of "macro expansion can't call into name resolution, because name resolution calls back into macro expansion" Because we store macro def as a part of call id, macro expansion just knows the def! | ||||
| * | | Clean up comments / use nicer Iterator methods | Florian Diebold | 2019-03-25 | 2 | -10/+15 |
| | | | |||||
| * | | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 4 | -12/+50 |
| | | | | | | | | | | | | ... to make the infer_trait_method_simple test have the correct result. | ||||
| * | | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 11 | -25/+156 |
| |/ | |||||
* / | Assist to flip (some) binary expressions. | Marco Groppo | 2019-03-25 | 3 | -88/+151 |
|/ | | | | This assist can flip the following operators: ==, !=, >, >=, <, <=. | ||||
* | Merge #1037 | bors[bot] | 2019-03-25 | 2 | -0/+300 |
|\ | | | | | | | | | | | | | | | 1037: inline immutable local varialbe r=matklad a=gfreezy resolved #1033 Co-authored-by: gfreezy <[email protected]> | ||||
| * | use | instead of multiple match arms | gfreezy | 2019-03-25 | 1 | -27/+27 |
| | | |||||
| * | inline immutable local varialbe | gfreezy | 2019-03-25 | 2 | -0/+300 |
| | | |||||
* | | Merge #1034 | bors[bot] | 2019-03-25 | 15 | -165/+424 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 4 | -44/+32 |
| | | | |||||
| * | | simplify | Aleksey Kladov | 2019-03-25 | 1 | -6/+1 |
| | | | |||||
| * | | tweak diagnostics API | Aleksey Kladov | 2019-03-25 | 3 | -11/+16 |
| | | | |||||
| * | | test diagnostics | Aleksey Kladov | 2019-03-25 | 3 | -1/+61 |
| | | | |||||
| * | | more enterprisey diagnostics setup | Aleksey Kladov | 2019-03-25 | 3 | -59/+75 |
| | | | |||||
| * | | fixes | Aleksey Kladov | 2019-03-25 | 2 | -4/+3 |
| | | | |||||
| * | | check impls as well | Aleksey Kladov | 2019-03-25 | 2 | -1/+10 |
| | | | |||||
| * | | cleanup | Aleksey Kladov | 2019-03-25 | 6 | -51/+70 |
| | | | |||||
| * | | switch modules to new diagnostics | Aleksey Kladov | 2019-03-25 | 8 | -135/+156 |
| | | | |||||
| * | | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 6 | -33/+112 |
| | | | |||||
| * | | diagnostics | Aleksey Kladov | 2019-03-25 | 6 | -6/+74 |
| | | | |||||
* | | | structure moved to ra_ide_api | Sergey Parilin | 2019-03-25 | 8 | -48/+7 |
| | | | | | | | | | | | | ra_ide_api_light removed completely | ||||
* | | | simplify | Aleksey Kladov | 2019-03-25 | 1 | -37/+34 |
|/ / | |||||
* | | Merge #1041 | bors[bot] | 2019-03-25 | 5 | -63/+105 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1041: Add convenience functions to SourceChange for creating single edits r=matklad a=vipentti Fixes #1018 Co-authored-by: Ville Penttinen <[email protected]> | ||||
| * | | Rename source_edit to source_file_edit to match file_system_edit | Ville Penttinen | 2019-03-25 | 5 | -11/+11 |
| | | |