On Thursday, 9 August 2018 at 13:42:57 UTC, bachmeier wrote:
On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote:This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type":I hope there is a better name than Tbottom. A name like that is not consistent with the rest of the language. Why not Bottom?
according to the DIP, the name can be chosen arbitrarily as the type is retrieved via matching the type expression `typeof(assert(0))`
