DIP 1017--Add Bottom Type--Final Review

[Jacob Carlborg]

On 2019-01-15 11:59, Johan Engelen wrote:

> I know we are no longer supposed to discuss the proposal's merits, but...
> 
> The proposal does not describe its merits.

I completley agree.

> 3 - why a new _type_ is needed for describing a property of a function 
> (that's what attributes are for)

Not sure it's even worth an attribute. I'm thinking more a pragma.

-- 
/Jacob Carlborg