mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Another deque test commented out.

Browse Source
This commit is contained in:
Roy Frostig 2010-07-28 18:14:33 -07:00
parent 3c22e79b77
commit dfcf21ca82
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/test/run-pass/lib-deque.rs
View File

@ -91,6 +91,8 @@ type taggypar[T] = tag(onepar(int),
twopar(int, int),
threepar(int, int, int));
type reccy = rec(int x, int y, taggy t);
fn main() {
fn inteq(&int a, &int b) -> bool {
ret a == b;
@ -148,6 +150,9 @@ fn main() {
}
}
fn reccyeq(&reccy a, &reccy b) -> bool {
ret (a.x == b.x && a.y == b.y && taggyeq(a.t, b.t));
}
log "test simple";
test_simple();
@ -172,7 +177,6 @@ fn main() {
test_parameterized[@int](eq2, @5, @72, @64, @175);
*/
log "test parameterized: taggy";
let eqfn[taggy] eq3 = bind taggyeq(_, _);
@ -192,5 +196,19 @@ fn main() {
*/
/*
* FIXME: Segfault.
log "test parameterized: reccy";
let reccy reccy1 = rec(x=1, y=2, t=one(1));
let reccy reccy2 = rec(x=345, y=2, t=two(1, 2));
let reccy reccy3 = rec(x=1, y=777, t=three(1, 2, 3));
let reccy reccy4 = rec(x=19, y=252, t=two(17, 42));
let eqfn[reccy] eq5 = bind reccyeq(_, _);
test_parameterized[reccy](eq5,
reccy1, reccy2, reccy3, reccy4);
*/
log "done";
}