diff options
| author | Patrick Walton <[email protected]> | 2010-07-16 15:33:30 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-07-16 15:34:25 -0700 |
| commit | 1ac01e16cf8d85334c25d68fc31db1beac740fc0 (patch) | |
| tree | 3dad7060b44ff869681749f9d5eb14bff7d33fc0 /src/test | |
| parent | Un-XFAIL a couple tests fixed by pcwalton's new typechecker. Closes #50. Clos... (diff) | |
| download | rust-1ac01e16cf8d85334c25d68fc31db1beac740fc0.tar.xz rust-1ac01e16cf8d85334c25d68fc31db1beac740fc0.zip | |
Ensure that functions that should return a value do; issue 41
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/impure-pred.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/missing-return.rs | 9 | ||||
| -rw-r--r-- | src/test/run-pass/complex.rs | 1 |
3 files changed, 11 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() { 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(); +} + diff --git a/src/test/run-pass/complex.rs b/src/test/run-pass/complex.rs index 3a6c13f3..3687de7a 100644 --- a/src/test/run-pass/complex.rs +++ b/src/test/run-pass/complex.rs @@ -21,6 +21,7 @@ fn foo(int x) -> int { let t z; z = 0x55; foo(z); + ret 0; } fn main() { |