diff options
| author | Graydon Hoare <[email protected]> | 2010-11-02 11:11:58 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-11-02 11:11:58 -0700 |
| commit | da13c508d83032ca13679e1e122e96d25ac23283 (patch) | |
| tree | 51c3d466dfedf3ad8e21b56c4769325561b3d650 /src/test/compile-fail | |
| parent | Un-XFAIL self tests on Darwin (diff) | |
| download | rust-da13c508d83032ca13679e1e122e96d25ac23283.tar.xz rust-da13c508d83032ca13679e1e122e96d25ac23283.zip | |
First pass on splitting stratum and opacity off of effects. WIP.
Diffstat (limited to 'src/test/compile-fail')
| -rw-r--r-- | src/test/compile-fail/comm-makes-io.rs | 2 | ||||
| -rw-r--r-- | src/test/compile-fail/impure-pred.rs | 2 | ||||
| -rw-r--r-- | src/test/compile-fail/io-infects-caller.rs | 4 | ||||
| -rw-r--r-- | src/test/compile-fail/unnecessary-io.rs | 2 |
4 files changed, 5 insertions, 5 deletions
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 |