On 2017-10-06T13:16:19 +0200 Remi Forax <[email protected]> wrote: > > - allow void to be converted to Void (by returning null) >
This may not be *too* bad as long as it's strictly limited to Void, because presumably a compliant program should never have had an observable non-null value of type Void. What I was wondering is if it might be time to introduce a strictly non-null single-valued Unit (value) type. This would unfortunately be incompatible with existing Void-typed methods... -- Mark Raynsford | http://www.io7m.com
