From 4f892dd9d732f215192f94b28392f26e88f0861e Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Mon, 2 May 2011 13:47:41 -0700
Subject: Check that the operand in a check is a call

In addition, fix bug in fold that was turning asserts into checks.

More typechecking still needs to be done.
---
 src/test/compile-fail/not-a-pred-2.rs | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/test/compile-fail/not-a-pred-2.rs

(limited to 'src/test')

diff --git a/src/test/compile-fail/not-a-pred-2.rs b/src/test/compile-fail/not-a-pred-2.rs
new file mode 100644
index 00000000..c8ac4a08
--- /dev/null
+++ b/src/test/compile-fail/not-a-pred-2.rs
@@ -0,0 +1,9 @@
+// -*- rust -*-
+// xfail-boot
+
+// error-pattern: non-predicate
+
+fn main() {
+  check (1 == 2); // should fail to typecheck, as (a == b)
+                  // is not a manifest call
+}
-- 
cgit v1.2.3