aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Import glob imports from other cratesFlorian Diebold2019-02-103-2/+17
| | | | This is the easy part since we don't have to consider the fixpoint algorithm.
* Implement glob imports from enumsFlorian Diebold2019-02-102-6/+37
|
* Add some testsFlorian Diebold2019-02-102-0/+120
|
* Merge #774bors[bot]2019-02-1012-6/+429
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 774: Batch crate & command r=matklad a=flodiebold This adds a new crate, `ra_batch`, which is intended for scenarios where you're loading a workspace once and then running some analyses using the HIR API. Also, it adds a command to `ra_cli` which uses that to type-check all crates in a workspace and print some statistics: E.g. in rust-analyzer: ``` > $ time target/release/ra_cli analysis-stats Database loaded, 21 roots Crates in this dir: 28 Total modules found: 231 Total declarations: 3694 Total functions: 2408 Total expressions: 47017 Expressions of unknown type: 19826 (42%) Expressions of partially unknown type: 4482 (9%) target/release/ra_cli analysis-stats 3,23s user 0,60s system 100% cpu 3,821 total ``` Or in rust-lang/rust: ``` > $ time ../opensource/rust-analyzer/target/release/ra_cli analysis-stats Database loaded, 77 roots Crates in this dir: 130 Total modules found: 1820 Total declarations: 35038 Total functions: 25914 Total expressions: 753678 Expressions of unknown type: 337975 (44%) Expressions of partially unknown type: 92314 (12%) ../opensource/rust-analyzer/target/release/ra_cli analysis-stats 13,45s user 2,08s system 100% cpu 15,477 total ``` ~This still needs a test. Type-checking all of rust-analyzer sadly takes almost a minute when compiled in debug mode :sweat_smile: So I'll need to add something simpler (maybe just looking at a few modules).~ Co-authored-by: Florian Diebold <[email protected]>
| * Spell cases explicitly in Ty::walk{_mut}Florian Diebold2019-02-101-2/+18
| |
| * Clean up a bitFlorian Diebold2019-02-102-9/+1
| |
| * Add a smoke test for ra_batchFlorian Diebold2019-02-101-0/+24
| |
| * Add an ra_cli command that analyses all crates in the current workspaceFlorian Diebold2019-02-109-4/+227
| | | | | | | | ... and prints various stats about how many expressions have a type etc.
| * Implement BatchDatabase constructionFlorian Diebold2019-02-105-22/+116
| |
| * Add new crateFlorian Diebold2019-02-103-0/+74
| |
* | Merge #776bors[bot]2019-02-103-19/+24
|\ \ | |/ |/| | | | | | | | | | | | | | | 776: Add support for a seperate output channel for trace messages r=DJMcNab a=DJMcNab See https://github.com/Microsoft/vscode-languageserver-node/pull/444 I am just working on testing this now, but I think it should work. Co-authored-by: DJMcNab <[email protected]>
| * Update dependenciesDJMcNab2019-02-102-8/+8
| |
| * Fix trace and prettierDJMcNab2019-02-101-2/+4
| |
| * Add support for a seperate output channel for trace messagesDJMcNab2019-02-103-10/+13
|/
* Merge #770bors[bot]2019-02-101-1/+80
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 770: Fix introduce var duplicating newlines r=matklad a=vipentti This fixes #713. If the block before the statement we want to use introduce var on, had empty lines these empty lines would also be added between the let-statement and the current line where the new variable is used. This fixes that by trimming excess newlines from the start of the indent chunk and simply adding a single newline (when the chunk had newlines) between the let-statement and the current statement. If there were no newlines this matches the previous behaviour. Co-authored-by: Ville Penttinen <[email protected]>
| * Fix introduce var duplicating newlinesVille Penttinen2019-02-091-1/+80
| | | | | | | | | | | | | | | | | | | | | | | | | | This fixes #713. If the block before the statement we want to use introduce var on, had empty lines these empty lines would also be added between the let-statement and the current line where the new variable is used. This fixes that by trimming excess newlines from the start of the indent chunk and simply adding a single newline (when the chunk had newlines) between the let-statement and the current statement. If there were no newlines this matches the previous behaviour.
* | Merge #773bors[bot]2019-02-1016-70/+338
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 773: Crash fixes r=matklad a=flodiebold This fixes a bunch of crashes found while running type inference on the whole rustc repo :sweat_smile: - avoid infinite recursion with ref bind patterns - avoid another infinite recursion - handle literal patterns, add a new LITERAL_PAT syntax node for this - fix an expect that's wrong on some invalid code Co-authored-by: Florian Diebold <[email protected]>
| * | Add comment and markFlorian Diebold2019-02-093-2/+10
| | |
| * | Fix another crash, and try harder to prevent stack overflowsFlorian Diebold2019-02-093-7/+75
| | |
| * | Fix another crash found when analyzing rustcFlorian Diebold2019-02-093-7/+38
| | |
| * | Fix handling of literal patternsFlorian Diebold2019-02-0910-41/+133
| | | | | | | | | | | | | | | Wrap them in a LiteralPat node so they can be distinguished from literal expressions.
| * | Fix two crashes found by running inference on all of rustcFlorian Diebold2019-02-094-15/+84
|/ /
* | Merge #771bors[bot]2019-02-092-4/+4
|\ \ | |/ |/| | | | | | | | | | | | | | | 771: update notify with fix for hight cpu usage r=matklad a=vemoo Should fix the ocasional 100% CPU hangs. I've tried `yes > test.rs` which would cause it before, and now on my computer it stays below 10%, and stops as soon as I interrupt the command, unlike previously which would stay at 100% for a while. Co-authored-by: Bernardo <[email protected]>
| * update notify with fix for hight cpu usageBernardo2019-02-092-4/+4
|/
* Merge #767bors[bot]2019-02-0910-139/+212
|\ | | | | | | | | | | | | | | 767: Extract project model to separate crate r=matklad a=flodiebold I'm looking into creating a separate crate that would allow getting a HIR db for a project for 'batch' analyses, and this seems to be an obvious first step. We'd probably want to change the error handling to not rely on failure, though, right? Co-authored-by: Florian Diebold <[email protected]>
| * Clean up a bitFlorian Diebold2019-02-093-4/+1
| |
| * Remove Vfs from project modelFlorian Diebold2019-02-094-9/+8
| |
| * Remove SmolStr from project modelFlorian Diebold2019-02-095-19/+7
| |
| * Move crate graph generation to ra_project_modelFlorian Diebold2019-02-095-83/+116
| |
| * Extract project model to separate crateFlorian Diebold2019-02-098-53/+109
|/
* Merge #766bors[bot]2019-02-0910-10/+33
|\ | | | | | | | | | | | | | | | | | | 766: Formatting code into ra_fmt r=matklad a=eulerdisk As discussed https://github.com/rust-analyzer/rust-analyzer/pull/762#discussion_r254905885 I did only move the code without other improvements. Co-authored-by: Andrea Pretto <[email protected]>
| * Refactor formatting code out of ra_ida_api_light into ra_fmt.Andrea Pretto2019-02-0810-10/+33
| |
* | Merge #768bors[bot]2019-02-0912-22/+264
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | 768: Sort assists by the range of the affected element r=matklad a=robojumper Closes #763. https://github.com/rust-analyzer/rust-analyzer/blob/3be98f2ac93b278828e76eb813bdd8033f647b12/crates/ra_assists/src/lib.rs#L233-L236 This could be made more robust by a) adding a way to identify actions by things other than their label and b) allowing arbitrary actions to appear in the list as long as the tested actions are there in the correct order. Let me know if I should do any of that. Co-authored-by: robojumper <[email protected]>
| * Improve sorting delegaterobojumper2019-02-091-7/+5
| |
| * Remove unused importrobojumper2019-02-081-2/+2
| |
| * Add tests for action target rangesrobojumper2019-02-0810-16/+210
| |
| * Add some assist rangesrobojumper2019-02-086-10/+60
|/
* reformat the worldAleksey Kladov2019-02-08129-2510/+728
|
* enable "small heuristics"Aleksey Kladov2019-02-081-1/+2
|
* Merge #765bors[bot]2019-02-0811-441/+428
|\ | | | | | | | | | | | | | | 765: Jettison `imp` module r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * diagnostics is now a functionAleksey Kladov2019-02-082-64/+62
| |
| * move diagnostics to a separate fileAleksey Kladov2019-02-082-27/+22
| |
| * move index_resolve to symbol indexAleksey Kladov2019-02-084-14/+11
| |
| * move find_references to referencesAleksey Kladov2019-02-083-67/+55
| |
| * avoid 'ignored' in test outputAleksey Kladov2019-02-081-2/+2
| |
| * rename rename to referencesAleksey Kladov2019-02-082-2/+2
| |
| * move crate forAleksey Kladov2019-02-083-16/+16
| |
| * move changes to a separate fileAleksey Kladov2019-02-084-254/+263
|/
* Merge #760bors[bot]2019-02-072-0/+125
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 760: Add new assist to remove dbg!() calls r=matklad a=vipentti This fixes #758. Currently we try to maintain the cursor position relative to the statement under cursor, if the cursor is inside the dbg! macro call. Meaning: ```rust let foo = dbg!(some.complex<|>().expression()); ``` Should turn into: ```rust let foo = some.complex<|>().expression(); ``` With the cursor staying in place. Co-authored-by: Ville Penttinen <[email protected]>
| * Remove unnecessary dbg! callsVille Penttinen2019-02-071-3/+2
| |