Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove needless refs | Aleksey Kladov | 2019-09-03 | 1 | -2/+2 |
| | |||||
* | use recrod terminology for hir::Pat | Aleksey Kladov | 2019-09-03 | 3 | -8/+7 |
| | |||||
* | move expr lowering to lower | Aleksey Kladov | 2019-09-03 | 3 | -653/+667 |
| | |||||
* | fix assists | Aleksey Kladov | 2019-09-02 | 5 | -61/+92 |
| | |||||
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 14 | -57/+72 |
| | |||||
* | fix generated AST | Aleksey Kladov | 2019-09-02 | 3 | -3/+4 |
| | |||||
* | update test data | Aleksey Kladov | 2019-09-02 | 150 | -8970/+9245 |
| | |||||
* | always wrap block into an expression | Aleksey Kladov | 2019-09-02 | 5 | -14/+19 |
| | |||||
* | Merge #1751 | bors[bot] | 2019-09-02 | 4 | -11/+8 |
|\ | | | | | | | | | | | | | | | 1751: remove useless trait r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | remove useless trait | Aleksey Kladov | 2019-09-02 | 4 | -11/+8 |
| | | |||||
* | | remove needless clone | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 |
|/ | |||||
* | simplify | Aleksey Kladov | 2019-09-02 | 6 | -214/+117 |
| | |||||
* | cleanup | Aleksey Kladov | 2019-09-02 | 5 | -90/+86 |
| | |||||
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 8 | -60/+107 |
| | | | | ... and use that instead of exposing the source map. | ||||
* | Report type mismatches in analysis-stats | Florian Diebold | 2019-09-02 | 3 | -8/+44 |
| | | | | Only the number usually; each one individually when running with -v. | ||||
* | :arrow_up: once_cell | Aleksey Kladov | 2019-09-01 | 3 | -3/+3 |
| | |||||
* | cleanup main loop | Aleksey Kladov | 2019-08-31 | 8 | -221/+172 |
| | |||||
* | inline thread-worker | Aleksey Kladov | 2019-08-30 | 5 | -16/+3 |
| | |||||
* | :arrow_up: lsp-server | Aleksey Kladov | 2019-08-30 | 4 | -82/+81 |
| | |||||
* | move lsp-server to a separate repository | Aleksey Kladov | 2019-08-30 | 13 | -693/+127 |
| | |||||
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 25 | -1327/+1425 |
| | |||||
* | 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 #1735 | bors[bot] | 2019-08-25 | 6 | -10/+19 |
|\ | | | | | | | | | | | | | | | 1735: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | :arrow_up: vfs | Aleksey Kladov | 2019-08-25 | 6 | -10/+19 |
| | | |||||
* | | 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 |
| |/ | |||||
* | | 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. |