From 1ac01e16cf8d85334c25d68fc31db1beac740fc0 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Fri, 16 Jul 2010 15:33:30 -0700
Subject: Ensure that functions that should return a value do; issue 41

---
 src/test/compile-fail/impure-pred.rs    | 1 +
 src/test/compile-fail/missing-return.rs | 9 +++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 src/test/compile-fail/missing-return.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
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() {
diff --git a/src/test/compile-fail/missing-return.rs b/src/test/compile-fail/missing-return.rs
new file mode 100644
index 00000000..34fb4105
--- /dev/null
+++ b/src/test/compile-fail/missing-return.rs
@@ -0,0 +1,9 @@
+// error-pattern: return
+
+fn f() -> int {
+}
+
+fn main() {
+  f();
+}
+
-- 
cgit v1.2.3