From fcbf399c80ad7b6a8f9f7980132e2f28d200c9d5 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 20 Sep 2020 18:43:21 -0400 Subject: DEF statement doesn't exist --- docs/spec/grammar.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/spec') diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index a38aff35..4928aed8 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -7,9 +7,9 @@

Specification: BQN grammar

BQN's grammar is given below. Terms are defined in a BNF variant. However, handling special names properly is possible but difficult in BNF, so they are explained in text along with the braced block grammar.

The symbols s, F, _m, and _c_ are identifier tokens with subject, function, 1-modifier, and 2-modifier classes respectively. Similarly, sl, Fl, _ml, and _cl_ refer to literals and primitives of those classes. While names in the BNF here follow the identifier naming scheme, this is informative only: syntactic classes are no longer used after parsing and cannot be inspected in a running program.

-

A program is a list of statements. Almost all statements are expressions. However, explicit definitions and valueless results stemming from ยท, or ๐•จ in a monadic brace function, can be used as statements but not expressions.

+

A program is a list of statements. Almost all statements are expressions. Only valueless results stemming from ยท, or ๐•จ in a monadic brace function, can be used as statements but not expressions.

PROGRAM  = โ‹„? ( ( STMT โ‹„ )* STMT โ‹„? )?
-STMT     = EXPR | DEF | nothing
+STMT     = EXPR | nothing
 โ‹„        = ( "โ‹„" | "," | \n )+
 EXPR     = subExpr | FuncExpr | _m1Expr | _m2Expr_
-- cgit v1.2.3