1
Fork 0

test: Fix mismatched types in prep for typechecker fixes

Issue #500
This commit is contained in:
Brian Anderson 2011-06-17 11:10:51 -07:00
parent 753da64fd6
commit 2a69db5b76
3 changed files with 7 additions and 7 deletions

View file

@ -8,7 +8,7 @@ fn foo() -> int {
i = 0;
break;
x = 0;
} while ((x = 0) != 0);
} while (x != 0);
log(x);

View file

@ -1,14 +1,14 @@
// xfail-stage0
// error-pattern:Number is odd
pred even(uint x) -> bool {
if (x < 2) {
if (x < 2u) {
ret false;
}
else if (x == 2) {
else if (x == 2u) {
ret true;
}
else {
ret even(x - 2);
ret even(x - 2u);
}
}

View file

@ -1,14 +1,14 @@
// xfail-stage0
pred even(uint x) -> bool {
if (x < 2) {
if (x < 2u) {
ret false;
}
else if (x == 2) {
else if (x == 2u) {
ret true;
}
else {
ret even(x - 2);
ret even(x - 2u);
}
}