aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix infer array testHirokazu Hata2019-01-162-40/+57
|
* Fix Ty::ArrayHirokazu Hata2019-01-161-21/+16
|
* Add infer array testHirokazu Hata2019-01-162-0/+61
|
* Implement array inferenceHirokazu Hata2019-01-162-3/+30
|
* Update ARRAY_EXPR grammarHirokazu Hata2019-01-162-2/+8
|
* Merge #536bors[bot]2019-01-162-1/+30
|\ | | | | | | | | | | | | | | | | | | 536: Introduce variable semicolon block expr r=matklad a=yerke Fix for https://github.com/rust-analyzer/rust-analyzer/issues/504 Feels a bit hacky... Co-authored-by: Yerkebulan Tulibergenov <[email protected]>
| * don't need SEMI any moreYerkebulan Tulibergenov2019-01-161-1/+1
| |
| * delete unused fnYerkebulan Tulibergenov2019-01-161-14/+0
| |
| * use has_semiYerkebulan Tulibergenov2019-01-161-5/+4
| |
| * add has_semi to ExprStmtYerkebulan Tulibergenov2019-01-161-0/+9
| |
| * add semi only if it wasn't present before or afterYerkebulan Tulibergenov2019-01-151-3/+19
| |
| * add semicolon for block expr in introduce_variableYerkebulan Tulibergenov2019-01-141-1/+4
| |
| * we don't need to write var_name after block expr?Yerkebulan Tulibergenov2019-01-141-1/+0
| |
| * add failing test test_introduce_var_block_expr_second_to_lastYerkebulan Tulibergenov2019-01-141-0/+17
| |
* | Implement rudimentary type inference for unary operatorsMarcus Klaas de Vries2019-01-154-5/+72
| |
* | kill last cancelablesAleksey Kladov2019-01-153-8/+7
| |
* | remove Canceled from impl of ra_ide_apiAleksey Kladov2019-01-157-79/+43
| |
* | remove Canceled from API implAleksey Kladov2019-01-158-76/+61
| |
* | hir is cancelation freeAleksey Kladov2019-01-153-12/+6
| |
* | remove Cancelable from type inferenceAleksey Kladov2019-01-159-119/+88
| |
* | remove Cancelable from TyAleksey Kladov2019-01-156-71/+57
| |
* | remove Cancelable from idsAleksey Kladov2019-01-156-34/+27
| |
* | remove Cancelable from nameresAleksey Kladov2019-01-1510-66/+52
| |
* | remove Cancelable from fn_scopesAleksey Kladov2019-01-158-13/+13
| |
* | remove Cancelable from funciton bodyAleksey Kladov2019-01-159-21/+16
| |
* | remove Cancelable from navigation targetAleksey Kladov2019-01-1511-42/+29
| |
* | remove Cancelable from static&const APIAleksey Kladov2019-01-152-15/+12
| |
* | remove Cancelable from adt APIAleksey Kladov2019-01-158-58/+41
| |
* | remove Cancelable from Crate APIAleksey Kladov2019-01-154-10/+10
| |
* | remove Cancelable from Module API, part 2Aleksey Kladov2019-01-157-33/+28
| |
* | remove Cancelable from Module APIAleksey Kladov2019-01-156-22/+18
| |
* | remove cancelable from symbolsAleksey Kladov2019-01-155-14/+12
| |
* | remove Cancelable from source bindersAleksey Kladov2019-01-1516-90/+68
| |
* | remove Cancelable from module_tree_queryAleksey Kladov2019-01-156-31/+28
| |
* | check_canceled does not return ResultAleksey Kladov2019-01-155-7/+19
| |
* | update salsaAleksey Kladov2019-01-155-6/+7
| |
* | Merge #546bors[bot]2019-01-1519-187/+425
|\ \ | | | | | | | | | | | | | | | | | | | | | 546: replace `assert_dbg_eq` with Insta r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | switch to insta for testingAleksey Kladov2019-01-1519-187/+425
| | |
* | | Merge #485bors[bot]2019-01-1419-130/+625
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 485: Add type inference for a bunch of primitives r=flodiebold a=marcusklaas This PR adds inference for `&str`, `&[u8]`, `char`, `bool`, floats and integers. For floats and integers it uses type variables to infer the exact type, i.e. `u32`, from context when it's not annotated explicitly. I'm not quite happy with the implementation yet, but I think it mostly works now. Co-authored-by: Marcus Klaas de Vries <[email protected]>
| * | | Address issues found in reviewMarcus Klaas de Vries2019-01-142-11/+9
| | | |
| * | | Fix type inference for raw (byte) stringsMarcus Klaas de Vries2019-01-146-21/+75
| | | |
| * | | Give literal expression default values for nowMarcus Klaas de Vries2019-01-141-23/+9
| | | |
| * | | Fixup testsMarcus Klaas de Vries2019-01-1412-211/+283
| | | |
| * | | Start moving literal interpretation to the AST (WIP)Marcus Klaas de Vries2019-01-144-10/+131
| | | |
| * | | don't try to treat arrays and tuples as literalsMarcus Klaas de Vries2019-01-145-57/+27
| | | |
| * | | Use type variables to determine exact type for ambiguous numeric literalsMarcus Klaas de Vries2019-01-146-14/+64
| | | |
| * | | Try implementing integer type inference (WIP)Marcus Klaas de Vries2019-01-148-46/+129
| | | |
| * | | Implement type inference for literals (WIP)Marcus Klaas de Vries2019-01-148-5/+166
| |/ /
* / / update cargo_metadataAleksey Kladov2019-01-142-3/+6
|/ /
* | switch to lsp-typesAleksey Kladov2019-01-1412-29/+29
| |