diff options
| -rw-r--r-- | stdlib/sort.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/sort.ml b/stdlib/sort.ml index 6f74dbd0e..a09b6d841 100644 --- a/stdlib/sort.ml +++ b/stdlib/sort.ml @@ -48,6 +48,9 @@ let swap arr i j = unsafe_set arr i (unsafe_get arr j); unsafe_set arr j tmp +(* There is a known performance bug in the code below. If you find + it, don't bother reporting it. You're not supposed to use this + module anyway. *) let array cmp arr = let rec qsort lo hi = if hi - lo >= 6 then begin |