Sorting algorithms/Insertion sort: Difference between revisions
→For arrays whose elements must not be of linear type
Line 860:
===For arrays whose elements must not be of linear type===
This implementation finds the position at which the element is to be inserted, and then uses '''array_subcirculate''' to move it into place. The prelude's implementation of '''array_subcirculate''' is a '''memmove(3)'''.
<lang ATS>#include "share/atspre_staload.hats"
|