09:22
<Ms2ger>
Ok, but given that a node's children is already an ordered set, it's thus redundant to iterate it in tree order, no? Unless its order is something else than tree order.
I'm not sure I follow your question - the children are ordered, and you should iterate over them in that order. You might imagine in some case you'd want to iterate over them in reverse order, or in other cases it might not matter at all
09:35
<Kaiido>

Yes, so my point is that in at least node insert, at step 7, it's asked to iterate over children in tree order. That made me wonder if children could ever not be in tree order, since it's already an ordered set (which I assume is already in tree order). So either this "in tree order" at this step is redundant, either children can indeed be in an other order.

Ps: I'm fine with it being redundant, that's really just something that got me curious.

10:02
<Ms2ger>
I don't understand. It's not a question of whether children is in tree order or not; it's a question of the order in which you handle them
10:03
<Ms2ger>
Say you have a tree <a><b></b><i></i></a> and you say "for each child x of the a element, print the local name of x", you could print either "bi" or "ib"
10:04
<Noam Rosenthal>
The default order for this ordered set is "tree order" so it's redundant, but it's good to be explicit as sometimes iterations don't care about order
10:33
<Kaiido>
Thanks Noam. That's just what I wanted to know, and yes, I agree it's good to be explicit here. Sorry Ms2ger I wasn't clear enough.
10:35
<annevk>
zcorpan: Domenic: yeah, I'd like to hear from jarhar before moving ahead. And given that there's already been some fallout maybe we should at least give it a couple of weeks of shipping.
10:37
<annevk>
Noam Rosenthal: Kaiido: when it's just children we might be able to omit the term these days, but when it's descendants we can't. That we can omit it for children is new as we didn't define their data structure until quite recently and I didn't actually think it had implications when I did that. So maybe this is something to open an issue for and figure out what we want to do.
14:01
<annevk>
zcorpan: see also https://github.com/whatwg/html/issues/10310#issuecomment-2506360351 btw on <select> parsing
16:09
<annevk>
Kaiido: reviewing https://github.com/whatwg/html/pull/9537 still on your radar?
18:30
<jarhar>
i replied on the parsing spec pr
21:11
<Kaiido>
annevk: Yes, I still plan to make another review there.