Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Implement BindingMode for pattern matching. | Michael Killough | 2019-03-16 | 1 | -17/+78 | |
| | | | | | | | | | | | | | | Implement `BindingMode` for pattern matching, so that types can be correctly inferred using match ergonomics. The binding mode defaults to `Move` (referred to as 'BindingMode::BindByValue` in rustc), and is updated by automatic dereferencing of the value being matched. | |||||
* | | Remove FnSig from FnDef type | Florian Diebold | 2019-03-16 | 1 | -2/+4 | |
| | | | | | | | | | | It doesn't need to be in there since it's just information from the def. Another step towards aligning Ty with Chalk's representation. | |||||
* | | Refactor FnSig a bit | Florian Diebold | 2019-03-16 | 1 | -11/+12 | |
|/ | ||||||
* | Use impl_froms! | kjeremy | 2019-03-04 | 1 | -13/+3 | |
| | ||||||
* | Make ExpOrPatId private | kjeremy | 2019-03-04 | 1 | -3/+6 | |
| | ||||||
* | Remove commented out code | Jeremy Kolb | 2019-03-04 | 1 | -9/+0 | |
| | ||||||
* | Use ImplItems instead of just Function | Jeremy Kolb | 2019-03-04 | 1 | -34/+48 | |
| | ||||||
* | Make goto definition/hover resolve constructors | kjeremy | 2019-03-04 | 1 | -3/+40 | |
| | ||||||
* | Add static type inference | Ville Penttinen | 2019-02-25 | 1 | -1/+2 | |
| | ||||||
* | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -7/+13 | |
| | ||||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -2/+2 | |
| | ||||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 1 | -1/+3 | |
| | ||||||
* | Refactor associated method resolution a bit and make it work with generics | Florian Diebold | 2019-02-23 | 1 | -33/+53 | |
| | ||||||
* | Split ty.rs into several modules | Florian Diebold | 2019-02-23 | 1 | -0/+1079 | |
It was just getting too big. We now have: - ty: the `Ty` enum and helpers - ty::infer: actual type inference - ty::lower: lowering from HIR to `Ty` - ty::op: helpers for binary operations, currently |