Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement type variables | Florian Diebold | 2018-12-29 | 1 | -0/+1 |
| | | | | | | | | | This will really become necessary when we implement generics, but even now, it allows us to reason 'backwards' to infer types of expressions that we didn't understand for some reason. We use ena, the union-find implementation extracted from rustc, to keep track of type variables. | ||||
* | :arrow_up: salsa | Aleksey Kladov | 2018-12-28 | 1 | -1/+1 |
| | |||||
* | Bump parking_lot from 0.6.4 to 0.7.0 | dependabot[bot] | 2018-12-27 | 1 | -1/+1 |
| | | | | | | | | Bumps [parking_lot](https://github.com/Amanieu/parking_lot) from 0.6.4 to 0.7.0. - [Release notes](https://github.com/Amanieu/parking_lot/releases) - [Changelog](https://github.com/Amanieu/parking_lot/blob/master/CHANGELOG.md) - [Commits](https://github.com/Amanieu/parking_lot/commits) Signed-off-by: dependabot[bot] <[email protected]> | ||||
* | Bump arrayvec from 0.4.9 to 0.4.10 | dependabot[bot] | 2018-12-27 | 1 | -1/+1 |
| | | | | | | | Bumps [arrayvec](https://github.com/bluss/arrayvec) from 0.4.9 to 0.4.10. - [Release notes](https://github.com/bluss/arrayvec/releases) - [Commits](https://github.com/bluss/arrayvec/compare/0.4.9...0.4.10) Signed-off-by: dependabot[bot] <[email protected]> | ||||
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 1 | -0/+3 |
| | |||||
* | use relpaths for module resolve | Aleksey Kladov | 2018-12-20 | 1 | -0/+1 |
| | |||||
* | switch to released id-arena | Aleksey Kladov | 2018-11-28 | 1 | -1/+1 |
| | |||||
* | introduce hir crate | Aleksey Kladov | 2018-11-28 | 1 | -0/+17 |