diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-30 10:29:19 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-30 10:29:19 -0400 |
| commit | c976d6a0386e9bf4342de3e55d396fce3e97fbd7 (patch) | |
| tree | a02d233af503a3136284730a2d12bf08a0a06a08 | |
| parent | 4e254ba07aba2ee0f21cd7ec2811e279beb6a7a2 (diff) | |
Grammar spec goof
| -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 |