aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Implement rudimentary type inference for unary operatorsMarcus Klaas de Vries2019-01-154-5/+72
|
* Merge #558bors[bot]2019-01-153-8/+7
|\ | | | | | | | | | | | | | | 558: kill last cancelables r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * kill last cancelablesAleksey Kladov2019-01-153-8/+7
| |
* | Merge #557bors[bot]2019-01-1522-356/+254
|\| | | | | | | | | | | | | | | 557: remove Canceled from impl of ra_ide_api r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * 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
|/
* Merge #554bors[bot]2019-01-152-2/+5
|\ | | | | | | | | | | | | | | 554: Fail Travis on Prettier formatting issues r=matklad a=alanhdu Co-authored-by: Alan Du <[email protected]>
| * Prettier fixAlan Du2019-01-151-1/+4
| |
| * Fail Travis on Prettier formatting issueAlan Du2019-01-151-1/+1
| |
* | Merge #555bors[bot]2019-01-1514-100/+79
|\ \ | | | | | | | | | | | | | | | | | | | | | 555: remove Cancelable from ids r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | remove Cancelable from idsAleksey Kladov2019-01-156-34/+27
| | |
| * | remove Cancelable from nameresAleksey Kladov2019-01-1510-66/+52
| | |
* | | Merge #553bors[bot]2019-01-1512-34/+29
|\| | | | | | | | | | | | | | | | | | | | | | | 553: remove Cancelable from fn_scopes r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | remove Cancelable from fn_scopesAleksey Kladov2019-01-158-13/+13
| | |
| * | remove Cancelable from funciton bodyAleksey Kladov2019-01-159-21/+16
|/ /
* | Merge #552bors[bot]2019-01-1513-115/+82
|\ \ | | | | | | | | | | | | | | | | | | | | | 552: remove Cancelable from navigation target r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | 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
|/ /
* | Merge #551bors[bot]2019-01-1512-65/+56
|\ \ | |/ |/| | | | | | | | | | | 551: remove Cancelable from Module API, part 2 r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * 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
|/
* Merge #550bors[bot]2019-01-1518-104/+80
|\ | | | | | | | | | | | | | | 550: remove Cancelable from source binders r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * remove cancelable from symbolsAleksey Kladov2019-01-155-14/+12
| |
| * remove Cancelable from source bindersAleksey Kladov2019-01-1516-90/+68
|/
* Merge #549bors[bot]2019-01-156-31/+28
|\ | | | | | | | | | | | | | | 549: remove Cancelable from module_tree_query r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * remove Cancelable from module_tree_queryAleksey Kladov2019-01-156-31/+28
|/
* Merge #548bors[bot]2019-01-155-7/+19
|\ | | | | | | | | | | | | | | 548: check_canceled does not return Result r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * check_canceled does not return ResultAleksey Kladov2019-01-155-7/+19
| |
* | Merge #547bors[bot]2019-01-157-44/+44
|\| | | | | | | | | | | | | | | 547: update salsa r=matklad a=matklad Notably, this includes unwinding-based cancelation. Co-authored-by: Aleksey Kladov <[email protected]>
| * update salsaAleksey Kladov2019-01-157-44/+44
| |
* | Merge #545bors[bot]2019-01-151-0/+1
|\ \ | |/ |/| | | | | | | | | | | 545: Reveal the newly added source change in the editor. r=matklad a=kjeremy Fixes #543 Co-authored-by: Jeremy A. Kolb <[email protected]>
| * Reveal the newly added source change in the editor.Jeremy A. Kolb2019-01-141-0/+1
| |
* | Merge #546bors[bot]2019-01-1520-195/+495
|\ \ | |/ |/| | | | | | | | | | | 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-1520-195/+495
| |
* | 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-143-56/+54
| | |
| * | Fix type inference for raw (byte) stringsMarcus Klaas de Vries2019-01-147-66/+120
| | |
| * | 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
| |/
* | Merge #538bors[bot]2019-01-144-8/+10
|\ \ | |/ |/| | | | | | | | | | | 538: update cargo_metadata r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>