Isn’t List.sortWith using exactly the same unstable JS sorting function under the hood?
2016-07-13 17:22 GMT+02:00 Nick H <[email protected]>: > For a workaround, all you need to do is use List.sortWith instead. > > sortBy uses JavaScript's native array sorting function under the hood. The > JS function is documented as being unstable > <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/sort> > (order not preserved when two elements are equal). Sounds like it might be > good to add a documentation note. > > On Wed, Jul 13, 2016 at 8:10 AM, Mark Green <[email protected]> wrote: > >> It appears that the functionality of List.sortBy is semi-browser >> dependent when the sorting function is a partial ordering. >> >> My current version of Firefox sorts according to the partial order, and >> within ties, maintains the order from the original list. However, user >> reports have been that some other browsers sort according to the partial >> order and apply arbitrary order within ties, which is obviously problematic. >> >> Is there a way around this and could a work-around be added to the >> library? >> >> Mark >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Elm Discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> For more options, visit https://groups.google.com/d/optout. >> > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
