From d2bd07dcb02783063375b6c8532fceaf9fa9d50f Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 19 Apr 2011 13:35:49 -0700 Subject: Remove effect system from src. --- src/test/compile-fail/impure-pred.rs | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 src/test/compile-fail/impure-pred.rs (limited to 'src/test/compile-fail') 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); -} -- cgit v1.2.3