Re: [heycam/webidl] Simplify the distinguishable table. (#183)

> You might want to add a note saying that types that appear in the same category are undistinguishable.

The normative part of that is covered by the lack of a ● in all foo/foo cells except for interface/interface. Are you saying that's not clear enough, so I should clarify it with a note?

> While you're at it, what about replacing:
>> Two types are distinguishable if at most one of the two includes a nullable type…
>
> by:
>
>> Two types are distinguishable if they are not both (a) nullable (type)…

Is your point that the union-decomposing steps already do the work of ["includes a nullable type"](https://rawgit.com/jyasskin/webidl/simplify-distinguishable/index.html#dfn-includes-a-nullable-type), so we can use the more primitive notion in the header?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/183#issuecomment-251713264