Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Merge #1747 | bors[bot] | 2019-09-02 | 9 | -4/+120 | |
|\| | | | | | | | | | | | | | | | | | | | | | | | 1747: start GitHub pages r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | start GitHub pages | Aleksey Kladov | 2019-09-02 | 9 | -4/+120 | |
|/ / | ||||||
* | | Merge #1745 | bors[bot] | 2019-09-01 | 4 | -11/+8 | |
|\ \ | |/ |/| | | | | | | | | | | | 1745: :arrow_up: once_cell r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | :arrow_up: once_cell | Aleksey Kladov | 2019-09-01 | 4 | -11/+8 | |
|/ | ||||||
* | Merge #1742 | bors[bot] | 2019-08-31 | 8 | -221/+172 | |
|\ | | | | | | | | | | | | | | | 1742: cleanup main loop r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | cleanup main loop | Aleksey Kladov | 2019-08-31 | 8 | -221/+172 | |
|/ | ||||||
* | Merge #1740 | bors[bot] | 2019-08-30 | 9 | -193/+161 | |
|\ | | | | | | | | | | | | | | | 1740: :arrow_up: lsp-server r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | inline thread-worker | Aleksey Kladov | 2019-08-30 | 6 | -109/+77 | |
| | | ||||||
| * | :arrow_up: lsp-server | Aleksey Kladov | 2019-08-30 | 5 | -85/+85 | |
| | | ||||||
* | | Merge #1739 | bors[bot] | 2019-08-30 | 14 | -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 repository | Aleksey Kladov | 2019-08-30 | 14 | -725/+141 | |
|/ | ||||||
* | Merge #1738 | bors[bot] | 2019-08-29 | 26 | -1486/+1446 | |
|\ | | | | | | | | | | | | | | | 1738: :arrow_up: insta r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 26 | -1486/+1446 | |
|/ | ||||||
* | Merge #1680 | bors[bot] | 2019-08-27 | 3 | -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 fixes | Kirill Bulatov | 2019-08-26 | 2 | -13/+15 | |
| | | ||||||
| * | Remove redundant tests | Kirill Bulatov | 2019-08-26 | 1 | -63/+5 | |
| | | ||||||
| * | Fix 'missing Ok in tail expr' validation | Florian Diebold | 2019-08-26 | 1 | -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_bound | Florian Diebold | 2019-08-26 | 2 | -30/+66 | |
| | | ||||||
| * | An attempt to add the coercion logic for Never | Kirill Bulatov | 2019-08-26 | 2 | -51/+98 | |
| | | ||||||
| * | Properly coerce never types | Kirill Bulatov | 2019-08-26 | 3 | -57/+46 | |
| | | ||||||
| * | Remove extra inference test | Kirill Bulatov | 2019-08-26 | 3 | -26/+0 | |
| | | ||||||
| * | Fix never in if expressions | Kirill Bulatov | 2019-08-26 | 3 | -4/+53 | |
| | | ||||||
| * | Add test marks | Kirill Bulatov | 2019-08-26 | 3 | -1/+16 | |
| | | ||||||
| * | Fix match type inference for Never match arms | Kirill Bulatov | 2019-08-26 | 2 | -6/+32 | |
| | | ||||||
| * | Tests | Kirill Bulatov | 2019-08-26 | 1 | -0/+104 | |
|/ | ||||||
* | Merge #1736 | bors[bot] | 2019-08-26 | 6 | -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öcher | 2019-08-26 | 6 | -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 #1735 | bors[bot] | 2019-08-25 | 7 | -15/+25 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1735: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | :arrow_up: vfs | Aleksey Kladov | 2019-08-25 | 7 | -15/+25 | |
| | | | ||||||
* | | | Merge #1734 | bors[bot] | 2019-08-25 | 6 | -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_position | Phil Ellison | 2019-08-25 | 1 | -36/+55 | |
| | | | | ||||||
| * | | | Specify cursor position in ok-wrapping tests, and switch to using ↵ | Phil Ellison | 2019-08-25 | 2 | -35/+31 | |
| | | | | | | | | | | | | | | | | analysis_and_position function | |||||
| * | | | Simplify checking return type, add new test | Phil Ellison | 2019-08-25 | 2 | -23/+32 | |
| | | | | ||||||
| * | | | Fix build for Diagnostic type change | Phil Ellison | 2019-08-25 | 1 | -7/+4 | |
| | | | | ||||||
| * | | | Cast SyntaxNodePtr to AstPtr directly | Phil Ellison | 2019-08-25 | 2 | -14/+10 | |
| | | | | ||||||
| * | | | Remove reliance on expr ordering | Phil Ellison | 2019-08-25 | 1 | -10/+4 | |
| | | | | ||||||
| * | | | cargo format | Phil Ellison | 2019-08-25 | 2 | -23/+23 | |
| | | | | ||||||
| * | | | Change test to not rely on trait inference | Phil Ellison | 2019-08-25 | 1 | -12/+7 | |
| | | | | ||||||
| * | | | Check type rather than just name in ok-wrapping diagnostic. Add test for ↵ | Phil Ellison | 2019-08-25 | 3 | -8/+77 | |
| | | | | | | | | | | | | | | | | handling generic functions (which currently fails) | |||||
| * | | | Add test that ok-wrapping handles type aliases | Phil Ellison | 2019-08-25 | 1 | -0/+38 | |
| | | | | ||||||
| * | | | Mock std String and Result types in tests for ok-wrapping diagnostic | Phil Ellison | 2019-08-25 | 3 | -16/+65 | |
| | | | | ||||||
| * | | | Add type_mismatches to InferenceResult and use this in ok-wrapping code fix | Phil Ellison | 2019-08-25 | 3 | -8/+27 | |
| | | | | ||||||
| * | | | Initial implementation of Ok-wrapping | Phil Ellison | 2019-08-25 | 4 | -3/+136 | |
| |/ / | ||||||
* | | | Merge #1733 | bors[bot] | 2019-08-25 | 14 | -108/+305 | |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1733: Parse arbitrarily complex `box` patterns. r=matklad a=ecstatic-morse This fully resolves the pattern part of #1412 by enabling the parsing of complex `box` patterns such as: ```rust let box Struct { box i, j: box Inner(box &x) } = todo!(); ``` This introduces a new `ast::BoxPat` (in the mold of `ast::RefPat`) that gets translated to `hir::Pat::Missing`. Co-authored-by: Dylan MacKenzie <[email protected]> | |||||
| * | | Generate and bless tests | Dylan MacKenzie | 2019-08-24 | 7 | -85/+227 | |
| | | | ||||||
| * | | Handle `Struct { box i }` syntax | Dylan MacKenzie | 2019-08-24 | 1 | -0/+3 | |
| | | | | | | | | | | | | | | | | | | Named structs can have `box` patterns that will bind to their fields. This is similar to the behavior of the `ref` and `mut` fields, but is at least a little bit surprising. | |||||
| * | | Centralize `box` pattern tests in `patterns.rs` | Dylan MacKenzie | 2019-08-24 | 3 | -7/+6 | |
| | | | ||||||
| * | | Convert `BoxPat` to `Missing` in HIR | Dylan MacKenzie | 2019-08-24 | 1 | -0/+1 | |
| | | | ||||||
| * | | Parse `BoxPat` | Dylan MacKenzie | 2019-08-24 | 1 | -19/+32 | |
| | | | ||||||
| * | | Add `BoxPat` variant | Dylan MacKenzie | 2019-08-23 | 3 | -2/+41 | |
|/ / |