aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | Make type walking infrastructure a bit nicerFlorian Diebold2019-09-0310-135/+134
| | | | | | | | | | If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet.
* | Properly format `impl Trait<Type = Foo>` typesFlorian Diebold2019-09-032-23/+97
| | | | | | | | | | | | It's a bit complicated because we basically have to 'undo' the desugaring, and the result is very dependent on the specifics of the desugaring and will probably produce weird results otherwise.
* | Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-036-52/+183
| |
* | Add test for assoc type bindingsFlorian Diebold2019-09-031-0/+65
| |
* | Correctly build BodySourceMap for macro-expanded expressionsAleksey Kladov2019-09-038-70/+127
| |
* | slightly simplify expr lowering flowAleksey Kladov2019-09-033-129/+136
| |
* | clearer ignoreAleksey Kladov2019-09-031-1/+1
| |
* | remove needless refsAleksey Kladov2019-09-031-2/+2
| |
* | use recrod terminology for hir::PatAleksey Kladov2019-09-033-8/+7
| |
* | move expr lowering to lowerAleksey Kladov2019-09-033-653/+667
| |
* | fix assistsAleksey Kladov2019-09-025-61/+92
| |
* | fix hir for new block syntaxAleksey Kladov2019-09-0214-57/+72
| |
* | fix generated ASTAleksey Kladov2019-09-023-3/+4
| |
* | update test dataAleksey Kladov2019-09-02150-8970/+9245
| |
* | always wrap block into an expressionAleksey Kladov2019-09-025-14/+19
| |
* | Merge #1751bors[bot]2019-09-024-11/+8
|\ \ | | | | | | | | | | | | | | | | | | | | | 1751: remove useless trait r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | remove useless traitAleksey Kladov2019-09-024-11/+8
| | |
* | | remove needless cloneAleksey Kladov2019-09-021-1/+1
|/ /
* | simplifyAleksey Kladov2019-09-026-214/+117
| |
* | cleanupAleksey Kladov2019-09-025-90/+86
| |
* | 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.
* | :arrow_up: once_cellAleksey Kladov2019-09-013-3/+3
|/
* cleanup main loopAleksey Kladov2019-08-318-221/+172
|
* inline thread-workerAleksey Kladov2019-08-305-16/+3
|
* :arrow_up: lsp-serverAleksey Kladov2019-08-304-82/+81
|
* move lsp-server to a separate repositoryAleksey Kladov2019-08-3013-693/+127
|
* :arrow_up: instaAleksey Kladov2019-08-2925-1327/+1425
|
* 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 #1735bors[bot]2019-08-256-10/+19
|\ | | | | | | | | | | | | | | 1735: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: vfsAleksey Kladov2019-08-256-10/+19
| |
* | 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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-27 16:05:46 +0000