Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #701 | bors[bot] | 2019-01-30 | 2 | -14/+23 |
|\ | | | | | | | | | | | | | | | | | | | 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <[email protected]> | ||||
| * | Add test for passing on ref expectations | Marcus Klaas de Vries | 2019-01-30 | 1 | -4/+10 |
| | | |||||
| * | Infer type of match guard | Marcus Klaas de Vries | 2019-01-28 | 1 | -10/+13 |
| | | |||||
* | | Added support for primitive types type inference when using std::ops::Not | WizardOfMenlo | 2019-01-28 | 1 | -12/+25 |
| | | |||||
* | | Process second review | Marcus Klaas de Vries | 2019-01-27 | 1 | -5/+5 |
| | | |||||
* | | Use type information from the turbofish | Marcus Klaas de Vries | 2019-01-27 | 2 | -6/+9 |
| | | |||||
* | | Add a FnSig to Ty::FnDef | Marcus Klaas de Vries | 2019-01-27 | 6 | -30/+30 |
| | | |||||
* | | Add missing ty test snapshot | Marcus Klaas de Vries | 2019-01-27 | 1 | -0/+23 |
| | | |||||
* | | Add type params to FnSignature | Marcus Klaas de Vries | 2019-01-27 | 5 | -54/+54 |
|/ | |||||
* | Handle cycles in type vars | Florian Diebold | 2019-01-26 | 2 | -0/+35 |
| | | | | This might be the cause of #587. | ||||
* | fix AST for if expressions | Aleksey Kladov | 2019-01-26 | 1 | -0/+17 |
| | | | | then is not always a block... | ||||
* | Fix type inference of binops on int/float variables | Florian Diebold | 2019-01-25 | 1 | -0/+13 |
| | | | | Fixes #651. | ||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -6/+6 |
| | |||||
* | Update snaps | Jeremy A. Kolb | 2019-01-22 | 24 | -96/+144 |
| | |||||
* | Use insta for ty tests | Florian Diebold | 2019-01-21 | 24 | -0/+605 |