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 <falling.maso...@gmail.com>: > 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 <drmoos...@gmail.com> 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 elm-discuss+unsubscr...@googlegroups.com. >> 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 elm-discuss+unsubscr...@googlegroups.com. > 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
