Make expr_while work in typestate_check

Also did some refactoring in typestate_check. All test cases in
compile-fail that involve uninitialized vars now fail correctly!
(All eight of them, that is.)

1 files changed, 11 insertions, 0 deletions

diff --git a/src/lib/_vec.rs b/src/lib/_vec.rs
index 916a8205..87a97359 100644
--- a/src/lib/_vec.rs
+++ b/src/lib/_vec.rs
@@ -251,6 +251,17 @@ fn or(&vec[bool] v) -> bool {
     be _vec.foldl[bool, bool](f, false, v);
 }
 
+fn clone[T](&vec[T] v) -> vec[T] {
+    ret slice[T](v, 0u, len[T](v));
+}
+
+fn plus_option[T](&vec[T] v, &option.t[T] o) -> () {
+    alt (o) {
+        case (none[T]) {}
+        case (some[T](?x)) { v += vec(x); }
+    }
+}
+
 // Local Variables:
 // mode: rust;
 // fill-column: 78;