Various follow-up fixes to #180. #192
Conversation
Fix distinguishable algorithm. Closes whatwg#190. Fix record handling in various algorithms. Closes whatwg#191, closes whatwg#189.
| @@ -3253,7 +3253,7 @@ extended attribute’s [=takes a named argument list|named argument list=]. | |||
| </div> | |||
|
|
|||
| Two types are <dfn id="dfn-distinguishable" export>distinguishable</dfn> if | |||
| at most one of the two [=includes a nullable type=] | |||
| at most one of the two [=includes a nullable type=], is a [=dictionary type=], or a [=record type=], | |||
There was a problem hiding this comment.
This is still somewhat ambiguous in the way that confused me in the first place. I don't see a simple way to fix that, but I've started a patch in gh-pages...jyasskin:dictionary-distinguishability to try to make it clearer. I'll try to send a PR for that tomorrow, but feel free to steal it instead.
There was a problem hiding this comment.
Agreed. @bzbarsky wanted to avoid leaving a broken spec out for too long, though. Hence the quick fix. Disambiguation can wait for a follow-up PR. Although examples are super useful, I don't think they're appropriate to disambiguate normative statements.
There was a problem hiding this comment.
I think examples are good for disambiguating normative statements, although of course if you can make the phrasing itself less confusing that's good too. See e.g. whatwg/html#1874
Fix distinguishable algorithm. Closes #190.
Fix record handling in various algorithms. Closes #191, closes #189.
Preview (#dfn-disti…) (#es-union) (#es-overlo…) | Diff (#dfn-disti…) (#es-union) (#es-overlo…)