| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add crude implementation of tuplestruct pattern inference | Marcus Klaas de Vries | 2019-01-19 | 1 | -0/+12 |
| * | Implement type inference for tuples and refs | Marcus Klaas de Vries | 2019-01-19 | 1 | -0/+15 |
| * | Add Ty::Array to walk_mut | Hirokazu Hata | 2019-01-16 | 1 | -32/+32 |
| * | Fix test case invalid syntax | Hirokazu Hata | 2019-01-16 | 1 | -45/+45 |
| * | Fix infer array test | Hirokazu Hata | 2019-01-16 | 1 | -34/+48 |
| * | Add infer array test | Hirokazu Hata | 2019-01-16 | 1 | -0/+38 |
| * | Implement rudimentary type inference for unary operators | Marcus Klaas de Vries | 2019-01-15 | 1 | -0/+28 |
| * | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 1 | -1/+3 |
| * | Fixup tests | Marcus Klaas de Vries | 2019-01-14 | 3 | -53/+54 |
| * | don't try to treat arrays and tuples as literals | Marcus Klaas de Vries | 2019-01-14 | 2 | -8/+6 |
| * | Use type variables to determine exact type for ambiguous numeric literals | Marcus Klaas de Vries | 2019-01-14 | 3 | -7/+8 |
| * | Try implementing integer type inference (WIP) | Marcus Klaas de Vries | 2019-01-14 | 4 | -6/+6 |
| * | Implement type inference for literals (WIP) | Marcus Klaas de Vries | 2019-01-14 | 2 | -1/+11 |
| * | Fix tuple test case | Hirokazu Hata | 2019-01-13 | 1 | -5/+27 |
| * | Add infer tuple test | Hirokazu Hata | 2019-01-13 | 1 | -0/+5 |
| * | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 1 | -0/+18 |
| * | Fix assertion error in unification (hopefully) | Florian Diebold | 2019-01-11 | 1 | -0/+5 |
| * | Implement type inference for enum variants | Marcus Klaas de Vries | 2019-01-10 | 1 | -0/+4 |
| * | nicer trailing comma handling in types | Aleksey Kladov | 2019-01-09 | 2 | -2/+2 |
| * | Process explicit type hints for str, bool and char | Marcus Klaas de Vries | 2019-01-07 | 2 | -4/+4 |
| * | Tidy up binary operator type inference; add test file | Marcus Klaas de Vries | 2019-01-07 | 1 | -0/+46 |
| * | Implement type inference for more binary operators | Marcus Klaas de Vries | 2019-01-07 | 1 | -31/+0 |
| * | Implement autoderef for field accesses | Florian Diebold | 2019-01-07 | 1 | -0/+43 |
| * | Sort ranges in type inference tests | Florian Diebold | 2019-01-06 | 8 | -80/+80 |
| * | Use HIR Expr for type inference | Florian Diebold | 2019-01-06 | 5 | -14/+14 |
| * | Touch up type inference for boolean operators | Marcus Klaas de Vries | 2019-01-06 | 1 | -10/+31 |
| * | Implement type inference for boolean operators | Marcus Klaas de Vries | 2019-01-05 | 1 | -0/+10 |
| * | Resolve the Self type | Florian Diebold | 2019-01-04 | 1 | -2/+2 |
| * | Resolve the self parameter during type inference | Florian Diebold | 2019-01-04 | 1 | -2/+2 |
| * | Type the self parameter | Florian Diebold | 2019-01-04 | 1 | -0/+2 |
| * | Add test for self type inference | Florian Diebold | 2019-01-04 | 1 | -0/+4 |
| * | Missing return type means unit, not unknown | Florian Diebold | 2018-12-29 | 1 | -2/+2 |
| * | Implement type variables | Florian Diebold | 2018-12-29 | 4 | -7/+27 |
| * | Implement reference / pointer types | Florian Diebold | 2018-12-25 | 2 | -2/+25 |
| * | Type field accesses | Florian Diebold | 2018-12-25 | 1 | -2/+4 |
| * | Infer result of struct literals, and recurse into their child expressions | Florian Diebold | 2018-12-25 | 1 | -4/+8 |
| * | Do name resolution by namespace (types/values) | Florian Diebold | 2018-12-25 | 1 | -2/+2 |
| * | Add basic HIR and types for structs/enums | Florian Diebold | 2018-12-25 | 1 | -0/+10 |
| * | Change inference tests to have one per file | Florian Diebold | 2018-12-24 | 5 | -42/+16 |
| * | Type the return values of call expressions | Florian Diebold | 2018-12-23 | 1 | -2/+2 |
| * | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 2 | -0/+19 |
| * | Make let statements kind of work | Florian Diebold | 2018-12-23 | 2 | -0/+12 |
| * | Add testing infrastructure for type inference | Florian Diebold | 2018-12-23 | 2 | -0/+24 |
