diff options
| -rw-r--r-- | docs/spec/grammar.html | 2 | ||||
| -rw-r--r-- | spec/grammar.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index def88721..92b4dd64 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -46,7 +46,7 @@ <span class='Function'>|</span> <span class='Function'>F</span> <span class='Function'>ASGN</span> <span class='Function'>FuncExpr</span> </pre> <p>Subject expressions consist mainly of function application. We also define nothing-statements, which have very similar syntax to subject expressions but do not permit assignment. They can be used as an <code><span class='Function'>STMT</span></code> or in place of a left argument.</p> -<pre><span class='Value'>arg</span> <span class='Function'>=</span> <span class='Value'>subExpr</span> +<pre><span class='Value'>arg</span> <span class='Function'>=</span> <span class='Value'>subject</span> <span class='Function'>|</span> <span class='Paren'>(</span> <span class='Value'>subject</span> <span class='Function'>|</span> <span class='Value'>nothing</span> <span class='Paren'>)</span><span class='Head'>?</span> <span class='Function'>Derv</span> <span class='Value'>arg</span> <span class='Value'>nothing</span> <span class='Function'>=</span> <span class='String'>"·"</span> <span class='Function'>|</span> <span class='Paren'>(</span> <span class='Value'>subject</span> <span class='Function'>|</span> <span class='Value'>nothing</span> <span class='Paren'>)</span><span class='Head'>?</span> <span class='Function'>Derv</span> <span class='Value'>nothing</span> diff --git a/spec/grammar.md b/spec/grammar.md index ab29d32f..b4c729d4 100644 --- a/spec/grammar.md +++ b/spec/grammar.md @@ -50,7 +50,7 @@ Functions can be formed by applying modifiers, or with trains. Modifiers are lef Subject expressions consist mainly of function application. We also define nothing-statements, which have very similar syntax to subject expressions but do not permit assignment. They can be used as an `STMT` or in place of a left argument. - arg = subExpr + arg = subject | ( subject | nothing )? Derv arg nothing = "·" | ( subject | nothing )? Derv nothing |