From 7ef8161ca78a0b807d13f64cdfbf8679bbc8d6fe Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 16 Nov 2021 21:36:14 -0500 Subject: Specify monadic modified assignment --- docs/spec/grammar.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/spec/grammar.html') diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index da83d87c..457fd039 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -63,7 +63,7 @@ lhs = s | lhsList | lhsStr subExpr = arg | lhs ASGN subExpr - | lhs Derv "↩" subExpr # Modified assignment + | lhs Derv "↩" subExpr? # Modified assignment

A header looks like a name for the thing being headed, or its application to inputs (possibly twice in the case of modifiers). As with assignment, it is restricted to a simple form with no extra parentheses. The full list syntax is allowed for arguments. As a special rule, a monadic function header specifically can omit the function when the argument is not just a name (as this would conflict with a subject label). The following cases define only headers with arguments, which are assumed to be special cases; there can be any number of these. Headers without arguments can only refer to the general case—note that operands are not pattern matched—so there can be at most two of these kinds of headers, indicating the monadic and dyadic cases.

headW    = subject | "𝕨"
-- 
cgit v1.2.3