From da13c508d83032ca13679e1e122e96d25ac23283 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 2 Nov 2010 11:11:58 -0700 Subject: First pass on splitting stratum and opacity off of effects. WIP. --- src/test/compile-fail/comm-makes-io.rs | 2 +- src/test/compile-fail/impure-pred.rs | 2 +- src/test/compile-fail/io-infects-caller.rs | 4 ++-- src/test/compile-fail/unnecessary-io.rs | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) (limited to 'src/test/compile-fail') diff --git a/src/test/compile-fail/comm-makes-io.rs b/src/test/compile-fail/comm-makes-io.rs index 50f87d0c..57a8e6e8 100644 --- a/src/test/compile-fail/comm-makes-io.rs +++ b/src/test/compile-fail/comm-makes-io.rs @@ -1,4 +1,4 @@ -// error-pattern: calculated effect is 'io' +// error-pattern: calculated effect is 'impure' fn main() { let chan[int] c = chan(); diff --git a/src/test/compile-fail/impure-pred.rs b/src/test/compile-fail/impure-pred.rs index 82d4cf6f..c322850b 100644 --- a/src/test/compile-fail/impure-pred.rs +++ b/src/test/compile-fail/impure-pred.rs @@ -5,7 +5,7 @@ fn f(int a, int b) : lt(a,b) { } -io fn lt(int a, int b) -> bool { +impure fn lt(int a, int b) -> bool { let port[int] p = port(); let chan[int] c = chan(p); c <| 10; diff --git a/src/test/compile-fail/io-infects-caller.rs b/src/test/compile-fail/io-infects-caller.rs index 2f5f003f..b07f46e6 100644 --- a/src/test/compile-fail/io-infects-caller.rs +++ b/src/test/compile-fail/io-infects-caller.rs @@ -1,6 +1,6 @@ -// error-pattern: calculated effect is 'io' +// error-pattern: calculated effect is 'impure' -io fn foo() { +impure fn foo() { let chan[int] c = chan(); c <| 10; } diff --git a/src/test/compile-fail/unnecessary-io.rs b/src/test/compile-fail/unnecessary-io.rs index 45a93798..fb50a54c 100644 --- a/src/test/compile-fail/unnecessary-io.rs +++ b/src/test/compile-fail/unnecessary-io.rs @@ -1,4 +1,4 @@ // error-pattern: calculated effect is '' -io fn main() { +impure fn main() { log "hi"; } \ No newline at end of file -- cgit v1.2.3