diff options
| author | Tim Chevalier <[email protected]> | 2011-05-04 11:32:06 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | acf9bd7909a4f6a68d974cabff96c4b72791c201 (patch) | |
| tree | 6b1e5761e7dcdb8625941cf7d02387a554f534ed /src/test/run-pass/pred-check.rs | |
| parent | Bring back "pred" syntax for writing predicates for check (diff) | |
| download | rust-acf9bd7909a4f6a68d974cabff96c4b72791c201.tar.xz rust-acf9bd7909a4f6a68d974cabff96c4b72791c201.zip | |
Test cases for pred / check stuff
Diffstat (limited to 'src/test/run-pass/pred-check.rs')
| -rw-r--r-- | src/test/run-pass/pred-check.rs | 11 |
1 files changed, 11 insertions, 0 deletions
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); +} |