From 6461cf30de748fbe310640cd9c195965fc3da229 Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Sun, 30 Jan 2011 17:38:46 -0500
Subject: Add compile-fail tests for tail calls

---
 src/test/compile-fail/tail-non-call.rs | 10 ++++++++++
 src/test/compile-fail/tail-typeck.rs   | 13 +++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 src/test/compile-fail/tail-non-call.rs
 create mode 100644 src/test/compile-fail/tail-typeck.rs

(limited to 'src/test')

diff --git a/src/test/compile-fail/tail-non-call.rs b/src/test/compile-fail/tail-non-call.rs
new file mode 100644
index 00000000..2742d1fe
--- /dev/null
+++ b/src/test/compile-fail/tail-non-call.rs
@@ -0,0 +1,10 @@
+// error-pattern: Non-call expression in tail call
+
+fn f() -> int {
+  auto x = 1;
+  be x;
+}
+
+fn main() {
+  auto y = f();
+}
\ No newline at end of file
diff --git a/src/test/compile-fail/tail-typeck.rs b/src/test/compile-fail/tail-typeck.rs
new file mode 100644
index 00000000..10b95546
--- /dev/null
+++ b/src/test/compile-fail/tail-typeck.rs
@@ -0,0 +1,13 @@
+// error-pattern: mismatched types
+
+fn f() -> int {
+  be g();
+}
+
+fn g() -> uint {
+  ret 0u;
+}
+
+fn main() {
+  auto y = f();
+}
\ No newline at end of file
-- 
cgit v1.2.3