Remove effect system from src.

1 files changed, 0 insertions, 21 deletions

diff --git a/src/test/compile-fail/impure-pred.rs b/src/test/compile-fail/impure-pred.rs
deleted file mode 100644
index 17a651ca..00000000
--- a/src/test/compile-fail/impure-pred.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// xfail-stage0
-// -*- rust -*-
-
-// error-pattern: impure function used in constraint
-
-fn f(int a, int b) : lt(a,b) {
-}
-
-impure fn lt(int a, int b) -> bool {
-  let port[int] p = port();
-  let chan[int] c = chan(p);
-  c <| 10;
-  ret true;
-}
-
-fn main() {
-  let int a = 10;
-  let int b = 23;
-  check lt(a,b);
-  f(a,b);
-}