From acf9bd7909a4f6a68d974cabff96c4b72791c201 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 4 May 2011 11:32:06 -0700 Subject: Test cases for pred / check stuff --- src/test/run-pass/pred-check.rs | 11 +++++++++++ src/test/run-pass/pred.rs | 4 +--- 2 files changed, 12 insertions(+), 3 deletions(-) create mode 100644 src/test/run-pass/pred-check.rs (limited to 'src/test/run-pass') diff --git a/src/test/run-pass/pred-check.rs b/src/test/run-pass/pred-check.rs new file mode 100644 index 00000000..e0997564 --- /dev/null +++ b/src/test/run-pass/pred-check.rs @@ -0,0 +1,11 @@ +// -*- rust -*- +// xfail-boot +// xfail-stage0 + +pred f(int q) -> bool { ret true; } + +fn main() { + auto x = 0; + + check f(x); +} diff --git a/src/test/run-pass/pred.rs b/src/test/run-pass/pred.rs index 022e1fc4..b4d003a8 100644 --- a/src/test/run-pass/pred.rs +++ b/src/test/run-pass/pred.rs @@ -1,12 +1,10 @@ // xfail-stage0 -// xfail-stage1 -// xfail-stage2 // -*- rust -*- fn f(int a, int b) : lt(a,b) { } -fn lt(int a, int b) -> bool { +pred lt(int a, int b) -> bool { ret a < b; } -- cgit v1.2.3