diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-06-19 13:23:13 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-06-19 13:23:13 -0400 |
| commit | e6dcd2bbfa38a677a12272509d656e4f2b16862f (patch) | |
| tree | eccceef71ced42bfb294a5438cc2e6e1461b9882 /spec | |
| parent | 017e2e2eba3ef0c15521724c8bc8f57854ffd037 (diff) | |
Don't allow assignment in 2-trains
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/grammar.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/spec/grammar.md b/spec/grammar.md index f375105a..8d5b5e75 100644 --- a/spec/grammar.md +++ b/spec/grammar.md @@ -38,8 +38,9 @@ Functions can be formed by fully applying operators or as trains. Operators are | Derv Fork = Func | Operand Func Fork ⍝ 3-train - FuncExpr = Fork + Train = Fork | Func Fork ⍝ 2-train + FuncExpr = Train | F ASGN FuncExpr Value expressions are complicated by the possibility of list assignment. We also define nothing-statements, which have very similar syntax to value expressions but do not permit assignment. @@ -58,4 +59,4 @@ Value expressions are complicated by the possibility of list assignment. We also One aspect of BQN grammar is not context-free: determining the syntactic class of a brace definition. The terms `BraceFunc` `_braceMod` `_braceComp_` all obey the syntax for `BRACED` given below. Then the class is determined by the presence of `𝕗` and `𝕘` (including alternate class spellings) at the top level, that is, not contained within further pairs of braces. If `𝕘` is present, it is a `_braceCmp_`; otherwise, if `𝕗` is present it it a `_braceMod` and otherwise a `BraceFunc`. The presence of `𝕨` or `𝕩` has an effect on the evaluation of modifiers and combinators but not their syntactic class. - BRACED = "{" ⋄? ( STMT ⋄ )* EXPR ⋄? "}" + BRACED = "{" ⋄? ( STMT ⋄ )* EXPR ⋄? "}" |