
15 Feb
2009
15 Feb
'09
7:23 a.m.
On Sun, Feb 15, 2009 at 9:47 AM, Heinrich Apfelmus
It's fair, but may duplicate elements, i.e. it doesn't necessarily create a permutation. For example, rs could be something like
rs = [5,3,3,3,2,4]
But our sort doesn't discard values when the keys are the same. For example, [1,2,3,4] == map snd . sortBy (compare `on` fst) . zip (repeat 1) $ [1,2,3,4] Nothing gets duplicated. Or did I miss something? -- Felipe.