Sorting algorithms/Quicksort: Difference between revisions
Content added Content deleted
Line 1,649: | Line 1,649: | ||
list_vt_quicksort$comparison<Strptr1> (x, y) = |
list_vt_quicksort$comparison<Strptr1> (x, y) = |
||
let |
let |
||
val i = |
val i = compare (x, y) |
||
$UNSAFE.strptr2string y) |
|||
in |
in |
||
if i < 0 then |
if i < 0 then |