aboutsummaryrefslogtreecommitdiff
path: root/src/test/compile-fail/impure-pred.rs
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2010-07-16 15:33:30 -0700
committerPatrick Walton <[email protected]>2010-07-16 15:34:25 -0700
commit1ac01e16cf8d85334c25d68fc31db1beac740fc0 (patch)
tree3dad7060b44ff869681749f9d5eb14bff7d33fc0 /src/test/compile-fail/impure-pred.rs
parentUn-XFAIL a couple tests fixed by pcwalton's new typechecker. Closes #50. Clos... (diff)
downloadrust-1ac01e16cf8d85334c25d68fc31db1beac740fc0.tar.xz
rust-1ac01e16cf8d85334c25d68fc31db1beac740fc0.zip
Ensure that functions that should return a value do; issue 41
Diffstat (limited to 'src/test/compile-fail/impure-pred.rs')
-rw-r--r--src/test/compile-fail/impure-pred.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/compile-fail/impure-pred.rs b/src/test/compile-fail/impure-pred.rs
index 811d595a..82d4cf6f 100644
--- a/src/test/compile-fail/impure-pred.rs
+++ b/src/test/compile-fail/impure-pred.rs
@@ -9,6 +9,7 @@ io fn lt(int a, int b) -> bool {
let port[int] p = port();
let chan[int] c = chan(p);
c <| 10;
+ ret true;
}
fn main() {