aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge #1754bors[bot]2019-09-033-129/+136
|\| | | | |_|/ |/| |
| * | slightly simplify expr lowering flowAleksey Kladov2019-09-033-129/+136
* | | Merge #1753bors[bot]2019-09-034-659/+672
|\| |
| * | 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
|/ /
* | Merge #1752bors[bot]2019-09-02174-9105/+9432
|\ \
| * | 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
|\ \
| * | remove useless traitAleksey Kladov2019-09-024-11/+8
* | | Merge #1750bors[bot]2019-09-021-1/+1
|\ \ \ | |/ / |/| |
| * | remove needless cloneAleksey Kladov2019-09-021-1/+1
|/ /
* | Merge #1749bors[bot]2019-09-029-289/+188
|\ \
| * | simplifyAleksey Kladov2019-09-026-214/+117
| * | cleanupAleksey Kladov2019-09-025-90/+86
|/ /
* | Merge #1737bors[bot]2019-09-027-27/+110
|\ \
| * | Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-028-60/+107
| * | Report type mismatches in analysis-statsFlorian Diebold2019-09-023-8/+44
|/ /
* | Merge #1748bors[bot]2019-09-022-3/+3
|\ \
| * | fix linksAleksey Kladov2019-09-022-3/+3
* | | Merge #1747bors[bot]2019-09-029-4/+120
|\| |
| * | start GitHub pagesAleksey Kladov2019-09-029-4/+120
|/ /
* | Merge #1745bors[bot]2019-09-014-11/+8
|\ \ | |/ |/|
| * :arrow_up: once_cellAleksey Kladov2019-09-014-11/+8
|/
* Merge #1742bors[bot]2019-08-318-221/+172
|\
| * cleanup main loopAleksey Kladov2019-08-318-221/+172
|/
* Merge #1740bors[bot]2019-08-309-193/+161
|\
| * 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
|\|
| * move lsp-server to a separate repositoryAleksey Kladov2019-08-3014-725/+141
|/
* Merge #1738bors[bot]2019-08-2926-1486/+1446
|\
| * :arrow_up: instaAleksey Kladov2019-08-2926-1486/+1446
|/
* Merge #1680bors[bot]2019-08-273-36/+221
|\
| * 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
| * 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
|/