On Friday, 18 January 2019 at 20:32:35 UTC, Jacob Carlborg wrote:
On 2019-01-18 20:28, Stefan Koch wrote:The only difference that type-functions have from what you describe is that it does not need to occupy a keyword 'type'.You're using "alias" instead of my "type" keyword?
yes. After all what type-functions do when returning types, is to return an alias.
Since it's unable to create types this is all it can do.
