10 commits

Author	SHA1	Message	Date
Aleksey Kladov	f5165af9a7	make Name::new private	2019-03-20 22:33:26 +03:00
Florian Diebold	7faae12311	Remove FnSig from FnDef type ... 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.	2019-03-16 17:29:55 +01:00
Florian Diebold	a9ddaba905	Refactor FnSig a bit	2019-03-16 17:21:32 +01:00
Florian Diebold	c5ee60e05b	Replace Display by a pretty printing trait for Ty ... This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :)	2019-03-16 16:36:59 +01:00
Ville Penttinen	29f93a7906	Add static type inference	2019-02-25 10:55:23 +02:00
Ville Penttinen	18b0bd9bff	Add const type inference	2019-02-25 10:51:46 +02:00
Florian Diebold	bd8ed644e4	Rename Type => TypeAlias	2019-02-24 21:36:49 +01:00
Florian Diebold	5d72b96988	Implement support for type aliases	2019-02-24 20:54:04 +01:00
Florian Diebold	82fe7b77a3	Refactor associated method resolution a bit and make it work with generics	2019-02-23 23:00:02 +01:00
Florian Diebold	dcfb4ee702	Split ty.rs into several modules ... 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	2019-02-23 15:36:38 +01:00