---

yaml
---
r: 37373
b: refs/heads/try
c: 21cbc31
h: refs/heads/master
i:
  37371: aa82f05
v: v3

Author: vertexclique

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: 09bb07bed9166105ea961a42b5fff7739ae0d2e9
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
-refs/heads/try: 61bb3571a59f4659a0a46565c71fa7ecfa352811
+refs/heads/try: 21cbc310c7cc631b39b3b08f127d19747e2a232d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: a810c03263670238bccd64cabb12a23a46e3a278

branches/try/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/try/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/try/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/try/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/try/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/try/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/try/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"