4 Commits

Author	SHA1	Message	Date
Florian Diebold	c8a4bb1445	Upgrade Chalk ... Chalk newly added TypeName::Never and Array; I implemented the conversion for Never, but not Array since that expects a const argument.	2020-05-27 21:07:08 +02:00
Florian Diebold	194dd9eb0d	Use Chalk's Ty::Function for function pointer types ... Function pointers can be 'higher-ranked' over lifetimes, which is why they're not an application type in Chalk, but since we don't model lifetimes it doesn't matter for us yet.	2020-05-22 21:05:28 +02:00
Florian Diebold	bfbc210bc1	Use Chalk's built-in representation of function item types	2020-05-22 21:05:13 +02:00
Florian Diebold	1d0e27254d	Split up chalk module a bit	2020-05-22 19:52:06 +02:00