On Aug 29, 2010, at 9:14 PM, Maciej Stachowiak wrote:

>  Yet another possibility is to use a hash to do the de-duping instead of 
> sorting; I can't tell from context if the sorting is needed for any purpose 
> other than subsequent de-duping.

Turns out this doesn't work - the CSS Media Queries spec specifically requires 
serializing in sorted order and we have a test to that effect:
http://dev.w3.org/csswg/cssom/#serializing-media-queries
https://bugs.webkit.org/show_bug.cgi?id=39220

So it's down to violating the type system or writing my own sort.

Regards,
Maciej

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

Reply via email to