Re: [PATCH] Disallow empty "or" type specifier

[felix . winkelmann]

> Hi all,
> 
> the attached patch makes the `(or)` type specifier invalid, as opposed 
> to being simplified to `*`.
> This is more consistent with the mathematical interpretation of an empty 
> (sum) type being the bottom type having no inhabitants.
> This is very explicit in OCaml, for example, where the empty type is 
> literally a sum (variant) of 0 types: `type t = |`.

Thanks a lot! I've taken the freedom to push this directly, as the change
is trivial and only affects validation of user-supplied type signatures.


felix