aboutsummaryrefslogtreecommitdiff
path: root/spec
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-20 18:43:21 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-20 18:43:21 -0400
commitfcbf399c80ad7b6a8f9f7980132e2f28d200c9d5 (patch)
treebad7804e8f7b3ec6085019250bb805d59d00f965 /spec
parent1ed779f6b9c3c19d2188e818fe6785a71c6537ba (diff)
DEF statement doesn't exist
Diffstat (limited to 'spec')
-rw-r--r--spec/grammar.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/grammar.md b/spec/grammar.md
index 3808ac28..25d48295 100644
--- a/spec/grammar.md
+++ b/spec/grammar.md
@@ -6,10 +6,10 @@ BQN's grammar is given below. Terms are defined in a [BNF](https://en.wikipedia.
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_