aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/lower.rs
Commit message (Collapse)AuthorAgeFilesLines
* TypeName => TypeCtorFlorian Diebold2019-03-211-18/+18
|
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-211-20/+18
|
* Represent FnPtr and Tuple using SubstsFlorian Diebold2019-03-211-2/+2
|
* make Name::new privateAleksey Kladov2019-03-201-2/+2
|
* Remove FnSig from FnDef typeFlorian Diebold2019-03-161-6/+12
| | | | | 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 bitFlorian Diebold2019-03-161-25/+45
|
* Replace Display by a pretty printing trait for TyFlorian Diebold2019-03-161-17/+6
| | | | | This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :)
* Add static type inferenceVille Penttinen2019-02-251-4/+17
|
* Add const type inferenceVille Penttinen2019-02-251-5/+17
|
* Rename Type => TypeAliasFlorian Diebold2019-02-241-9/+9
|
* Implement support for type aliasesFlorian Diebold2019-02-241-9/+23
|
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-231-26/+41
|
* Split ty.rs into several modulesFlorian Diebold2019-02-231-0/+318
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