Merge pull request #1406 from jthemphill/fix-qsort
Fix a bug in qsort
commiteedaa56fbfaff14351807db70b9f230c2ec0ee53
authorDavid Christiansen <david@davidchristiansen.dk>
dateSat 19 Jul 2014, 23:46 (12 years ago)
parenta0ba4881275b9e
test/totality003/totality003.idr+1−1
@@ -3,5 +3,5 @@ module smaller
33total
44qsort : Ord a => List a -> List a
55qsort [] = []
6−qsort (x :: xs) = qsort (assert_smaller (x :: xs) (filter (<= x) xs)) ++
6+qsort (x :: xs) = qsort (assert_smaller (x :: xs) (filter (< x) xs)) ++
77 (x :: qsort (assert_smaller (x :: xs) (filter (>= x) xs)))
test/totality003/totality003a.idr+1−1
@@ -3,5 +3,5 @@ module smaller
33total
44qsort : Ord a => List a -> List a
55qsort [] = []
6−qsort (x :: xs) = qsort (assert_smaller (x :: xs) (filter (<= x) xs)) ++
6+qsort (x :: xs) = qsort (assert_smaller (x :: xs) (filter (< x) xs)) ++
77 (x :: qsort (filter (>= x) xs))