From 6b742aec91f1c2615ab8e01ba027dfff3008a7f7 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 4 May 2011 15:24:07 -0700 Subject: Enforce in typechecker that preds return a bool as well as a test case --- src/test/compile-fail/pred-not-bool.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/test') 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 -- cgit v1.2.3