---

yaml
---
r: 36092
b: refs/heads/try2
c: 21cbc31
h: refs/heads/master
v: v3

Author: vertexclique

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: 61bb3571a59f4659a0a46565c71fa7ecfa352811
+refs/heads/try2: 21cbc310c7cc631b39b3b08f127d19747e2a232d
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
 refs/heads/dist-snap: 22efa39382d41b084fde1719df7ae8ce5697d8c9
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try2/AUTHORS.txt

@@ -41,7 +41,6 @@ Erick Tryzelaar <[email protected]>
 Erik Rose <[email protected]>
 Evan McClanahan <[email protected]>
 Francisco Souza <[email protected]>
-Gabriel <[email protected]>
 Gareth Daniel Smith <[email protected]>
 Glenn Willen <[email protected]>
 Gonçalo Cabrita <[email protected]>

branches/try2/configure

@@ -595,7 +595,7 @@ then
     need_ok "git failed"
 
     msg "git: submodule foreach sync"
-    "${CFG_GIT}" submodule --quiet foreach --recursive 'if test -e .gitmodules; then git submodule sync; fi'
+    "${CFG_GIT}" submodule --quiet foreach --recursive git submodule sync
     need_ok "git failed"
 
     msg "git: submodule foreach update"

branches/try2/doc/rust.md

@@ -1388,7 +1388,7 @@ declaring a function-local item.
 
 ~~~~~~~~{.ebnf .gram}
 let_decl : "let" pat [':' type ] ? [ init ] ? ';' ;
-init : [ '=' ] expr ;
+init : [ '=' | '<-' ] expr ;
 ~~~~~~~~
 
 A _slot declaration_ introduces a new set of slots, given by a pattern.
@@ -1728,6 +1728,38 @@ fn avg(v: &[float]) -> float {
 }
 ~~~~
 
+
+#### Binary move expressions
+
+A _binary move expression_ consists of an [lvalue](#lvalues-rvalues-and-temporaries) followed by a left-pointing
+arrow (`<-`) and an [rvalue](#lvalues-rvalues-and-temporaries) expression.
+
+Evaluating a move expression causes, as a side effect,
+the rvalue to be *moved* into the lvalue.
+If the rvalue was itself an lvalue, it must be a local variable,
+as it will be de-initialized in the process.
+
+Evaluating a move expression does not change reference counts,
+nor does it cause a deep copy of any owned structure pointed to by the moved rvalue.
+Instead, the move expression represents an indivisible *transfer of ownership*
+from the right-hand-side to the left-hand-side of the expression.
+No allocation or destruction is entailed.
+
+An example of three different move expressions:
+
+~~~~~~~~
+# let mut x = &[mut 0];
+# let a = &[mut 0];
+# let b = 0;
+# let y = {mut z: 0};
+# let c = 0;
+# let i = 0;
+
+x <- a;
+x[i] <- b;
+y.z <- c;
+~~~~~~~~
+
 #### Swap expressions
 
 A _swap expression_ consists of an [lvalue](#lvalues-rvalues-and-temporaries) followed by a bi-directional arrow (`<->`) and another [lvalue](#lvalues-rvalues-and-temporaries).
@@ -1760,15 +1792,21 @@ y.z <-> b.c;
 An _assignment expression_ consists of an [lvalue](#lvalues-rvalues-and-temporaries) expression followed by an
 equals sign (`=`) and an [rvalue](#lvalues-rvalues-and-temporaries) expression.
 
-Evaluating an assignment expression copies the expression on the right-hand side and stores it in the location on the left-hand side.
+Evaluating an assignment expression is equivalent to evaluating a [binary move
+expression](#binary-move-expressions) applied to a [unary copy
+expression](#unary-copy-expressions). For example, the following two
+expressions have the same effect:
 
 ~~~~
 # let mut x = 0;
 # let y = 0;
 
 x = y;
+x <- copy y;
 ~~~~
 
+The former is just more terse and familiar.
+
 #### Compound assignment expressions
 
 The `+`, `-`, `*`, `/`, `%`, `&`, `|`, `^`, `<<`, and `>>`
@@ -1795,7 +1833,7 @@ as
 == !=
 &&
 ||
-= <->
+= <- <->
 ~~~~
 
 Operators at the same precedence level are evaluated left-to-right.
@@ -2437,6 +2475,7 @@ assert (i == 3);
 ~~~~
 
 All accessible elements of a vector are always initialized, and access to a vector is always bounds-checked.
+In the case of a definite-
 
 
 ### Structure types
@@ -2507,7 +2546,7 @@ let a: List<int> = Cons(7, @Cons(13, @Nil));
 
 > **Note:** Records are not nominal types, thus do not directly support recursion, visibility control,
 > out-of-order field initialization, or coherent trait implementation.
-> Records are therefore deprecated and will be removed in future versions of Rust.
+> Records are therefore deprecared and will be removed in future versions of Rust.
 > [Structure types](#structure-types) should be used instead.
 
 The record type-constructor forms a new heterogeneous product of values.

branches/try2/doc/tutorial-borrowed-ptr.md

@@ -429,7 +429,7 @@ fn example5c(x: @S) -> int {
         let y = &v.g;
         ...
     }
-    x.f = move v;          // Replace x.f
+    x.f <- v;          // Replace x.f
     ...
 # return 0;
 }

branches/try2/doc/tutorial.md

@@ -1205,6 +1205,11 @@ to other tasks. The sending task will give up ownership of the box,
 and won't be able to access it afterwards. The receiving task will
 become the sole owner of the box.
 
+> ***Note:*** This discussion of copying vs. moving does not account
+> for the "last use" rules that automatically promote copy operations
+> to moves. We plan to remove last use from the language in
+> favor of explicit moves.
+
 ## Borrowed pointers
 
 Rust borrowed pointers are a general purpose reference/pointer type,

branches/try2/mk/rt.mk

@@ -72,6 +72,7 @@ RUNTIME_CS_$(1) := \
               rt/rust_shape.cpp \
               rt/rust_abi.cpp \
               rt/rust_debug.cpp \
+              rt/rust_box_annihilator.cpp \
               rt/memory_region.cpp \
               rt/boxed_region.cpp \
               rt/arch/$$(HOST_$(1))/context.cpp \

branches/try2/src/fuzzer/ivec_fuzz.rs

@@ -2,7 +2,7 @@
 
 Idea: provide functions for 'exhaustive' and 'random' modification of vecs.
 
-  two functions, "return all edits" and "return a random edit" = move-
+  two functions, "return all edits" and "return a random edit" <--
     leaning toward this model or two functions, "return the number of
     possible edits" and "return edit #n"