From 80de67787aa1a7e186c7f3358ec4b45741f15ff5 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 29 Nov 2021 21:03:34 -0500 Subject: =?UTF-8?q?Remove=20=E2=86=92=20from=20docs=20and=20REPL?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/doc/control.html | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'docs/doc/control.html') diff --git a/docs/doc/control.html b/docs/doc/control.html index 3c3c2f1a..8ffdc5bc 100644 --- a/docs/doc/control.html +++ b/docs/doc/control.html @@ -205,15 +205,3 @@ } } -

Break and continue

-

In a While or For loop, returns can be used for either the break or the continue statement (or, for that matter, a multiline break) if available. Returning from the main body, either with 𝕊 or a labelled return, is a functional version of a continue statement. To escape from the loop as a whole, it should be wrapped in a labelled immediate block. Returning from that block using its label breaks the loop. For example, the following loop

-
{brk:
-  sum  0  even  ⟨⟩
-  While {𝕤sum<100}{Cnt:
-    brk(15n) @
-    sum + n
-    Cnt(2|n) @
-    even  n
-  }
-}
-
-- cgit v1.2.3