diff options
| author | Tim Chevalier <[email protected]> | 2011-05-04 15:24:07 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | 6b742aec91f1c2615ab8e01ba027dfff3008a7f7 (patch) | |
| tree | f3f090cec6aff94ed2c28e4d6513a224c88cc637 /src/test | |
| parent | Update docs to reflect preds (diff) | |
| download | rust-6b742aec91f1c2615ab8e01ba027dfff3008a7f7.tar.xz rust-6b742aec91f1c2615ab8e01ba027dfff3008a7f7.zip | |
Enforce in typechecker that preds return a bool
as well as a test case
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/pred-not-bool.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/test/compile-fail/pred-not-bool.rs b/src/test/compile-fail/pred-not-bool.rs index c0d19ef2..7c7fa3d1 100644 --- a/src/test/compile-fail/pred-not-bool.rs +++ b/src/test/compile-fail/pred-not-bool.rs @@ -1,6 +1,8 @@ // -*- rust -*- +// xfail-boot +// xfail-stage0 -// error-pattern: mismatched types +// error-pattern: Non-boolean return type // this checks that a pred with a non-bool return // type is rejected, even if the pred is never used |