> 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