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/compile-fail')

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


From f17a3421e01399bcc1a6f8540273d7b4440397a1 Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Wed, 9 Feb 2011 22:36:37 -0500
Subject: Cleanup for 'be' statement and comments about future typestate

---
 src/test/compile-fail/tail-non-call.rs | 2 +-
 src/test/compile-fail/tail-typeck.rs   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test/compile-fail')

diff --git a/src/test/compile-fail/tail-non-call.rs b/src/test/compile-fail/tail-non-call.rs
index 2742d1fe..00a451f6 100644
--- a/src/test/compile-fail/tail-non-call.rs
+++ b/src/test/compile-fail/tail-non-call.rs
@@ -7,4 +7,4 @@ fn f() -> int {
 
 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
index 10b95546..64beedb9 100644
--- a/src/test/compile-fail/tail-typeck.rs
+++ b/src/test/compile-fail/tail-typeck.rs
@@ -10,4 +10,4 @@ fn g() -> uint {
 
 fn main() {
   auto y = f();
-}
\ No newline at end of file
+}
-- 
cgit v1.2.3


From eac75b76486ec54f677b2460f09635380437b125 Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Tue, 22 Feb 2011 20:23:38 -0500
Subject: Teach rustc about reserved keywords

---
 src/test/compile-fail/reserved-dec.rs  | 5 +++++
 src/test/compile-fail/reserved-f128.rs | 5 +++++
 src/test/compile-fail/reserved-f16.rs  | 5 +++++
 src/test/compile-fail/reserved-f80.rs  | 5 +++++
 src/test/compile-fail/reserved-m128.rs | 5 +++++
 src/test/compile-fail/reserved-m32.rs  | 5 +++++
 src/test/compile-fail/reserved-m64.rs  | 5 +++++
 7 files changed, 35 insertions(+)
 create mode 100644 src/test/compile-fail/reserved-dec.rs
 create mode 100644 src/test/compile-fail/reserved-f128.rs
 create mode 100644 src/test/compile-fail/reserved-f16.rs
 create mode 100644 src/test/compile-fail/reserved-f80.rs
 create mode 100644 src/test/compile-fail/reserved-m128.rs
 create mode 100644 src/test/compile-fail/reserved-m32.rs
 create mode 100644 src/test/compile-fail/reserved-m64.rs

(limited to 'src/test/compile-fail')

diff --git a/src/test/compile-fail/reserved-dec.rs b/src/test/compile-fail/reserved-dec.rs
new file mode 100644
index 00000000..d8c204d9
--- /dev/null
+++ b/src/test/compile-fail/reserved-dec.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int dec = 0;
+}
diff --git a/src/test/compile-fail/reserved-f128.rs b/src/test/compile-fail/reserved-f128.rs
new file mode 100644
index 00000000..63d00f70
--- /dev/null
+++ b/src/test/compile-fail/reserved-f128.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int f128 = 0;
+}
diff --git a/src/test/compile-fail/reserved-f16.rs b/src/test/compile-fail/reserved-f16.rs
new file mode 100644
index 00000000..bfb14cd8
--- /dev/null
+++ b/src/test/compile-fail/reserved-f16.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int f16 = 0;
+}
diff --git a/src/test/compile-fail/reserved-f80.rs b/src/test/compile-fail/reserved-f80.rs
new file mode 100644
index 00000000..33e8bd5e
--- /dev/null
+++ b/src/test/compile-fail/reserved-f80.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int f80 = 0;
+}
diff --git a/src/test/compile-fail/reserved-m128.rs b/src/test/compile-fail/reserved-m128.rs
new file mode 100644
index 00000000..c4d36bf7
--- /dev/null
+++ b/src/test/compile-fail/reserved-m128.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int m128 = 0;
+}
diff --git a/src/test/compile-fail/reserved-m32.rs b/src/test/compile-fail/reserved-m32.rs
new file mode 100644
index 00000000..bdb3a427
--- /dev/null
+++ b/src/test/compile-fail/reserved-m32.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int m32 = 0;
+}
diff --git a/src/test/compile-fail/reserved-m64.rs b/src/test/compile-fail/reserved-m64.rs
new file mode 100644
index 00000000..034884a6
--- /dev/null
+++ b/src/test/compile-fail/reserved-m64.rs
@@ -0,0 +1,5 @@
+// error-pattern:reserved keyword
+
+fn main() {
+  let int m64 = 0;
+}
-- 
cgit v1.2.3