about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorTim Chevalier <chevalier@alum.wellesley.edu>2012-06-21 19:58:52 -0700
committerTim Chevalier <chevalier@alum.wellesley.edu>2012-06-21 19:58:52 -0700
commitb8710de5fffdc45c19ccc27ad8ed98c1ee51c025 (patch)
tree6b6be9d90fe119c484d02577edef0ed6ea36c0fe /src
parentbe8a08b2afac770c0b932619419bd08cd0550d85 (diff)
Add test cases
issue-912 is xfailed. issue-2111 is already fixed, but it's good to
have the test case.
Diffstat (limited to 'src')
-rw-r--r--src/test/compile-fail/issue-2111.rs11
-rw-r--r--src/test/run-pass/issue-912.rs8
2 files changed, 19 insertions, 0 deletions
diff --git a/src/test/compile-fail/issue-2111.rs b/src/test/compile-fail/issue-2111.rs
new file mode 100644
index 00000000000..5e289af9f51
--- /dev/null
+++ b/src/test/compile-fail/issue-2111.rs
@@ -0,0 +1,11 @@
+fn foo(a: option<uint>, b: option<uint>) {
+  alt (a,b) { //! ERROR: non-exhaustive patterns: none not covered
+    (some(a), some(b)) if a == b { }
+    (some(_), none) |
+    (none, some(_)) { }
+  }
+}
+
+fn main() {
+  foo(none, none);
+}
\ No newline at end of file
diff --git a/src/test/run-pass/issue-912.rs b/src/test/run-pass/issue-912.rs
new file mode 100644
index 00000000000..77a349b4ec9
--- /dev/null
+++ b/src/test/run-pass/issue-912.rs
@@ -0,0 +1,8 @@
+// xfail-test
+fn find<T>(_f: fn(@T) -> bool, _v: [@T]) {}
+
+fn main() {
+    let x = 10, arr = [];
+    find({|f| f.id == x}, arr);
+    arr += [{id: 20}]; // This assigns a type to arr
+}