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.