8 Commits

Author	SHA1	Message	Date
Florian Diebold	cfa1de72eb	Implement type variables ... 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.	2018-12-29 12:04:34 +01:00
Aleksey Kladov	13631a2955	⬆️ salsa	2018-12-28 19:10:31 +03:00
dependabot[bot]	4017966a0b	Bump parking_lot from 0.6.4 to 0.7.0 ... 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] <support@dependabot.com>	2018-12-27 13:14:24 +00:00
dependabot[bot]	6fb53caea5	Bump arrayvec from 0.4.9 to 0.4.10 ... 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] <support@dependabot.com>	2018-12-27 12:32:18 +00:00
Florian Diebold	ef67581104	Resolve paths to defs (functions currently) during type inference	2018-12-23 17:13:11 +01:00
Aleksey Kladov	cb6205c09d	use relpaths for module resolve	2018-12-20 12:15:38 +03:00
Aleksey Kladov	70a7cb34ec	switch to released id-arena	2018-11-28 21:03:30 +03:00
Aleksey Kladov	0e4b710af8	introduce hir crate	2018-11-28 03:42:26 +03:00