Merge pull request #2352 from amire80/phasers

Mention phasers a bit more explicitly in the Control page

Author: JJ

doc/Language/control.pod6

@@ -85,6 +85,12 @@ You have to watch out for this in most languages anyway to prevent things
 from getting accidentally commented out.  Many of the examples below may
 have unnecessary semicolons for clarity.
 
+=head1 X<Phasers|control flow,Phasers>
+
+Blocks may have phasers: special labeled blocks that break their execution
+into phases that run in particular phases. See the page
+L<phasers|/language/phasers> for the details.
+
 =head1 X<do|control flow,do>
 
 The simplest way to run a block where it cannot be a stand-alone statement
@@ -912,6 +918,24 @@ for @x -> $x {
 
 prints "1245".
 
+If the L<C<NEXT> phaser|/language/phasers#NEXT> is present, it runs before the next iteration:
+
+=begin code
+my Int $i = 0;
+while ($i < 10) {
+  if ($i % 2 == 0) {
+    next;
+  }
+
+  say "$i is odd.";
+
+  NEXT {
+    $i++;
+  }
+}
+# OUTPUT: «1 is odd.␤3 is odd.␤5 is odd.␤7 is odd.␤9 is odd.␤»
+=end code
+
 =head1 X<last|control flow, last>
 
 The C<last> command immediately exits the loop in question.
@@ -927,6 +951,26 @@ for @x -> $x {
 
 prints "12".
 
+If the L<C<LAST> phaser|/language/phasers#LAST> is present, it runs
+before exiting the loop:
+
+=begin code
+my Int $i = 1;
+while ($i < 10) {
+  if ($i % 5 == 0) {
+    last;
+  }
+
+  LAST {
+    say "The last number was $i.";
+  }
+  NEXT {
+    $i++;
+  }
+}
+# OUTPUT: «The last number was 5.␤»
+=end code
+
 =head1 X<redo|control flow, redo>
 
 The C<redo> command restarts the loop block without evaluating the