summary refs log tree commit diff
path: root/src/test/auxiliary/cci_nested_lib.rs
blob: cb3d9de652f7d353d0064bb39308af09f23a51f3 (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
import dvec::{dvec,extensions};

type entry<A,B> = {key: A, value: B};
type alist<A,B> = { eq_fn: fn@(A,A) -> bool, data: dvec<entry<A,B>> };

fn alist_add<A: copy, B: copy>(lst: alist<A,B>, k: A, v: B) {
    lst.data.push({key:k, value:v});
}

fn alist_get<A: copy, B: copy>(lst: alist<A,B>, k: A) -> B {
    let eq_fn = lst.eq_fn;
    for lst.data.each |entry| {
        if eq_fn(entry.key, k) { ret entry.value; }
    }
    fail;
}

#[inline]
fn new_int_alist<B: copy>() -> alist<int, B> {
    fn eq_int(&&a: int, &&b: int) -> bool { a == b }
    ret {eq_fn: eq_int, data: dvec()};
}

#[inline]
fn new_int_alist_2<B: copy>() -> alist<int, B> {
    #[inline]
    fn eq_int(&&a: int, &&b: int) -> bool { a == b }
    ret {eq_fn: eq_int, data: dvec()};
}