aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | remove needless cloneAleksey Kladov2019-09-021-1/+1
|/ /
* | Merge #1749bors[bot]2019-09-029-289/+188
|\ \ | | | | | | | | | | | | | | | | | | | | | 1749: simplify r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | simplifyAleksey Kladov2019-09-026-214/+117
| | |
| * | cleanupAleksey Kladov2019-09-025-90/+86
|/ /
* | Merge #1737bors[bot]2019-09-027-27/+110
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1737: Report type mismatches in analysis-stats r=matklad a=flodiebold Only the number usually; each one individually when running with `-v`. Getting the file/line locations for the exprs was really annoying and I had to make some stuff public (that I didn't remember why it would be `pub(crate)`); maybe I missed some easier way? It would be nice to have some general way for mapping locations :thinking: This reports 1768 mismatches on RA currently; from skimming, this seems to be mostly various kinds of coercions, though there were also some other things. Co-authored-by: Florian Diebold <[email protected]>
| * | Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-028-60/+107
| | | | | | | | | | | | ... and use that instead of exposing the source map.
| * | Report type mismatches in analysis-statsFlorian Diebold2019-09-023-8/+44
|/ / | | | | | | Only the number usually; each one individually when running with -v.
* | Merge #1748bors[bot]2019-09-022-3/+3
|\ \ | | | | | | | | | | | | | | | | | | | | | 1748: fix links r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]>
| * | fix linksAleksey Kladov2019-09-022-3/+3
| | |
* | | Merge #1747bors[bot]2019-09-029-4/+120
|\| | | | | | | | | | | | | | | | | | | | | | | 1747: start GitHub pages r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]>
| * | start GitHub pagesAleksey Kladov2019-09-029-4/+120
|/ /
* | Merge #1745bors[bot]2019-09-014-11/+8
|\ \ | |/ |/| | | | | | | | | | | 1745: :arrow_up: once_cell r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: once_cellAleksey Kladov2019-09-014-11/+8
|/
* Merge #1742bors[bot]2019-08-318-221/+172
|\ | | | | | | | | | | | | | | 1742: cleanup main loop r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * cleanup main loopAleksey Kladov2019-08-318-221/+172
|/
* Merge #1740bors[bot]2019-08-309-193/+161
|\ | | | | | | | | | | | | | | 1740: :arrow_up: lsp-server r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * inline thread-workerAleksey Kladov2019-08-306-109/+77
| |
| * :arrow_up: lsp-serverAleksey Kladov2019-08-305-85/+85
| |
* | Merge #1739bors[bot]2019-08-3014-725/+141
|\| | | | | | | | | | | | | | | 1739: move lsp-server to a separate repository r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * move lsp-server to a separate repositoryAleksey Kladov2019-08-3014-725/+141
|/
* Merge #1738bors[bot]2019-08-2926-1486/+1446
|\ | | | | | | | | | | | | | | 1738: :arrow_up: insta r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: instaAleksey Kladov2019-08-2926-1486/+1446
|/
* Merge #1680bors[bot]2019-08-273-36/+221
|\ | | | | | | | | | | | | | | | | 1680: Correctly infer match with early return r=flodiebold a=SomeoneToIgnore Fixes #1505 Co-authored-by: Kirill Bulatov <[email protected]> Co-authored-by: Florian Diebold <[email protected]>
| * Small fixesKirill Bulatov2019-08-262-13/+15
| |
| * Remove redundant testsKirill Bulatov2019-08-261-63/+5
| |
| * Fix 'missing Ok in tail expr' validationFlorian Diebold2019-08-261-3/+4
| | | | | | | | | | Because of the coercion change, the type mismatch now only happens on the block expression.
| * Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-262-30/+66
| |
| * An attempt to add the coercion logic for NeverKirill Bulatov2019-08-262-51/+98
| |
| * Properly coerce never typesKirill Bulatov2019-08-263-57/+46
| |
| * Remove extra inference testKirill Bulatov2019-08-263-26/+0
| |
| * Fix never in if expressionsKirill Bulatov2019-08-263-4/+53
| |
| * Add test marksKirill Bulatov2019-08-263-1/+16
| |
| * Fix match type inference for Never match armsKirill Bulatov2019-08-262-6/+32
| |
| * TestsKirill Bulatov2019-08-261-0/+104
|/
* Merge #1736bors[bot]2019-08-266-450/+802
|\ | | | | | | | | | | | | | | | | | | 1736: Switch to `@types/vscode` and `vscode-test` r=matklad a=bkchr The old `vscode` package is outdated and it is recommened to switch to these two new packages. This also solves a problem of a missing `.d.ts` for `vscode` in Nixos. Co-authored-by: Bastian Köcher <[email protected]>
| * Switch to `@types/vscode` and `vscode-test`Bastian Köcher2019-08-266-450/+802
| | | | | | | | | | | | The old `vscode` package is outdated and it is recommened to switch to these two new packages. This also solves a problem of a missing `.d.ts` for `vscode` in Nixos.
* | Merge #1735bors[bot]2019-08-257-15/+25
|\ \ | | | | | | | | | | | | | | | | | | | | | 1735: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | :arrow_up: vfsAleksey Kladov2019-08-257-15/+25
| | |
* | | Merge #1734bors[bot]2019-08-256-5/+319
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1734: Strip indents and empty lines in check_apply_diagnostic_fix_from_position r=matklad a=matklad Co-authored-by: Phil Ellison <[email protected]>
| * | | Strip indents and empty lines in check_apply_diagnostic_fix_from_positionPhil Ellison2019-08-251-36/+55
| | | |
| * | | Specify cursor position in ok-wrapping tests, and switch to using ↵Phil Ellison2019-08-252-35/+31
| | | | | | | | | | | | | | | | analysis_and_position function
| * | | Simplify checking return type, add new testPhil Ellison2019-08-252-23/+32
| | | |
| * | | Fix build for Diagnostic type changePhil Ellison2019-08-251-7/+4
| | | |
| * | | Cast SyntaxNodePtr to AstPtr directlyPhil Ellison2019-08-252-14/+10
| | | |
| * | | Remove reliance on expr orderingPhil Ellison2019-08-251-10/+4
| | | |
| * | | cargo formatPhil Ellison2019-08-252-23/+23
| | | |
| * | | Change test to not rely on trait inferencePhil Ellison2019-08-251-12/+7
| | | |
| * | | Check type rather than just name in ok-wrapping diagnostic. Add test for ↵Phil Ellison2019-08-253-8/+77
| | | | | | | | | | | | | | | | handling generic functions (which currently fails)
| * | | Add test that ok-wrapping handles type aliasesPhil Ellison2019-08-251-0/+38
| | | |
| * | | Mock std String and Result types in tests for ok-wrapping diagnosticPhil Ellison2019-08-253-16/+65
| | | |