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
|
// xfail-boot
// -*- rust -*-
// Tests for if as expressions with dynamic type sizes
type compare[T] = fn(&T t1, &T t2) -> bool;
fn test_generic[T](&T expected, &T not_expected, &compare[T] eq) {
let T actual = if (true) { expected } else { not_expected };
assert (eq(expected, actual));
}
fn test_bool() {
fn compare_bool(&bool b1, &bool b2) -> bool {
ret b1 == b2;
}
auto eq = bind compare_bool(_, _);
test_generic[bool](true, false, eq);
}
fn test_tup() {
type t = tup(int, int);
fn compare_tup(&t t1, &t t2) -> bool {
ret t1 == t2;
}
auto eq = bind compare_tup(_, _);
test_generic[t](tup(1, 2), tup(2, 3), eq);
}
fn main() {
test_bool();
test_tup();
}
|