---

yaml
---
r: 38794
b: refs/heads/incoming
c: 2ab614f
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: 3d5418789064fdb463e872a4e651af1c628a3650
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: a810c03263670238bccd64cabb12a23a46e3a278
-refs/heads/incoming: c7ec183b34805ba6af0c49581639b16dbd33e47a
+refs/heads/incoming: 2ab614f3569f34eee2fd70862e8f35548282fb11
 refs/heads/dist-snap: 22efa39382d41b084fde1719df7ae8ce5697d8c9
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/incoming/doc/rust.md

@@ -1951,32 +1951,48 @@ while i < 10 {
 
 ### Infinite loops
 
-A `loop` expression denotes an infinite loop:
+The keyword `loop` in Rust appears both in _loop expressions_ and in _continue expressions_.
+A loop expression denotes an infinite loop;
+see [Continue expressions](#continue-expressions) for continue expressions.
 
 ~~~~~~~~{.ebnf .gram}
-loop_expr : "loop" '{' block '}';
+loop_expr : "loop" [ ident ':' ] '{' block '}';
 ~~~~~~~~
 
+A `loop` expression may optionally have a _label_.
+If a label is present,
+then labeled `break` and `loop` expressions nested within this loop may exit out of this loop or return control to its head.
+See [Break expressions](#break-expressions).
+
 ### Break expressions
 
 ~~~~~~~~{.ebnf .gram}
-break_expr : "break" ;
+break_expr : "break" [ ident ];
 ~~~~~~~~
 
-Executing a `break` expression immediately terminates the innermost loop
-enclosing it. It is only permitted in the body of a loop.
+A `break` expression has an optional `label`.
+If the label is absent, then executing a `break` expression immediately terminates the innermost loop enclosing it.
+It is only permitted in the body of a loop.
+If the label is present, then `break foo` terminates the loop with label `foo`,
+which need not be the innermost label enclosing the `break` expression,
+but must enclose it.
 
-### Loop expressions
+### Continue expressions
 
 ~~~~~~~~{.ebnf .gram}
-loop_expr : "loop" ;
-~~~~~~~~
-
-Evaluating a `loop` expression immediately terminates the current iteration of
-the innermost loop enclosing it, returning control to the loop *head*. In the
-case of a `while` loop, the head is the conditional expression controlling the
-loop. In the case of a `for` loop, the head is the call-expression controlling
-the loop.
+continue_expr : "loop" [ ident ];
+~~~~~~~~
+
+A continue expression, written `loop`, also has an optional `label`.
+If the label is absent,
+then executing a `loop` expression immediately terminates the current iteration of the innermost loop enclosing it,
+returning control to the loop *head*.
+In the case of a `while` loop,
+the head is the conditional expression controlling the loop.
+In the case of a `for` loop, the head is the call-expression controlling the loop.
+If the label is present, then `loop foo` returns control to the head of the loop with label `foo`,
+which need not be the innermost label enclosing the `break` expression,
+but must enclose it.
 
 A `loop` expression is only permitted in the body of a loop.