From 23601f382d54e83403f0d7e8c3d7b74f3d988bc5 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 12 Sep 2026 03:51:53 +0700 Subject: [PATCH] Say that break and continue do not exist, since a loop section implies them MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit plan.org settled the loop story as "while/for with break/continue and return", so a reader will reach for them; they are not implemented and, unlike the rest, not refused by name either — they come back as unknown function. --- web/index.html | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/web/index.html b/web/index.html index 79b2343..5a2682c 100644 --- a/web/index.html +++ b/web/index.html @@ -404,6 +404,12 @@ its fields, and omitted fields are zeroed.

104
 105
+

Those are the bytes h and i. There is no character type — a +byte is a u8 — but there is a byte literal, so \h is 104 and +\space is 32, and the prelude's digit? reads as +(and (>= b \0) (<= b \9)). To see a byte as a letter rather than as a +number, print a slice of them with print-bytes.

+

An enum is an i32 at run time and its own type in the checker. That is what makes a keyword at a call site useful: :space resolves against the parameter's enum type at compile time, and a typo is an error there rather than a wrong @@ -518,7 +524,10 @@ a body that changes it cannot change the trip count, and the loop variable is no assignable.

Loops are imperative, with while, until and -return. There is no loop/recur.

+return. There is no loop/recur, and there is no +break or continue either — both are planned and neither +exists, so today they report as unknown function break. An early exit out +of a loop is return, as first-even does above.

Option, match and some