Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -383/+0 |
| | |||||
* | Rename ra_db -> base_db | Aleksey Kladov | 2020-08-13 | 1 | -1/+1 |
| | |||||
* | Remove TypeCtor interning | Florian Diebold | 2020-07-15 | 1 | -1/+13 |
| | | | | Our TypeCtor and Chalk's TypeName match now! | ||||
* | Upgrade Chalk | Florian Diebold | 2020-07-12 | 1 | -0/+15 |
| | |||||
* | Bump chalk | Laurențiu Nicola | 2020-06-26 | 1 | -0/+1 |
| | |||||
* | Implement return position impl trait / opaque type support | Florian Diebold | 2020-06-05 | 1 | -0/+2 |
| | | | | | | | | | | | | | This is working, but I'm not that happy with how the lowering works. We might need an additional representation between `TypeRef` and `Ty` where names are resolved and `impl Trait` bounds are separated out, but things like inference variables don't exist and `impl Trait` is always represented the same way. Also note that this doesn't implement correct handling of RPIT *inside* the function (which involves turning the `impl Trait`s into variables and creating obligations for them). That intermediate representation might help there as well. | ||||
* | Upgrade Chalk | Florian Diebold | 2020-05-27 | 1 | -7/+7 |
| | | | | | Chalk newly added TypeName::Never and Array; I implemented the conversion for Never, but not Array since that expects a const argument. | ||||
* | Use Chalk's built-in representation of function item types | Florian Diebold | 2020-05-22 | 1 | -0/+2 |
| | |||||
* | Provide missing Chalk debug methods | Florian Diebold | 2020-05-22 | 1 | -0/+53 |
| | |||||
* | Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId | Florian Diebold | 2020-05-22 | 1 | -3/+3 |
| | |||||
* | Split up chalk module a bit | Florian Diebold | 2020-05-22 | 1 | -0/+298 |