about summary refs log tree commit diff
path: root/src/test/stdtest/qsort.rs
blob: 123fb39d25eb6b76cf013c35e35d0fa3e0ca6b4e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
import core::*;

use std;

import std::sort;
import vec;
import int;

fn check_sort(v1: [mutable int], v2: [mutable int]) {
    let len = vec::len::<int>(v1);
    fn ltequal(&&a: int, &&b: int) -> bool { ret a <= b; }
    let f = ltequal;
    std::sort::quick_sort::<int>(f, v1);
    let i = 0u;
    while i < len { log v2[i]; assert (v2[i] == v1[i]); i += 1u; }
}

#[test]
fn test() {
    {
        let v1 = [mutable 3, 7, 4, 5, 2, 9, 5, 8];
        let v2 = [mutable 2, 3, 4, 5, 5, 7, 8, 9];
        check_sort(v1, v2);
    }
    {
        let v1 = [mutable 1, 1, 1];
        let v2 = [mutable 1, 1, 1];
        check_sort(v1, v2);
    }
    {
        let v1: [mutable int] = [mutable];
        let v2: [mutable int] = [mutable];
        check_sort(v1, v2);
    }
    { let v1 = [mutable 9]; let v2 = [mutable 9]; check_sort(v1, v2); }
    {
        let v1 = [mutable 9, 3, 3, 3, 9];
        let v2 = [mutable 3, 3, 3, 9, 9];
        check_sort(v1, v2);
    }
}

// Regression test for #705
#[test]
fn test_simple() {
    let names = [mutable 2, 1, 3];

    let expected = [1, 2, 3];

    fn lteq(&&a: int, &&b: int) -> bool { int::le(a, b) }
    sort::quick_sort(lteq, names);

    let immut_names = vec::from_mut(names);

    // Silly, but what else can we do?
    check (vec::same_length(expected, immut_names));
    let pairs = vec::zip(expected, immut_names);
    for (a, b) in pairs { log #fmt["%d %d", a, b]; assert (a == b); }
}

// Local Variables:
// mode: rust;
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// End: