| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
