Ellery Newcomer wrote: > Bill Baxter wrote: >> Yes, Yigal said basically that. The question I have is what practical >> difference does that make to the language? >> Seems no different from defining the empty tuple to be void, then >> renaming void to unit. >> >> >> --bb > > If you have unit distinct from void, you could use it for what Andrei > mentioned a while back. Something to do with determining a function will > never return because it always throws, etc.
then again, maybe not.
