aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/block.md6
-rw-r--r--docs/doc/block.html6
2 files changed, 6 insertions, 6 deletions
diff --git a/doc/block.md b/doc/block.md
index 63aa6545..50bbb154 100644
--- a/doc/block.md
+++ b/doc/block.md
@@ -180,9 +180,9 @@ If no header is compatible, the call results in an error.
A special rule allows for convenient case-matching syntax for one-argument functions. In any function header with one argument, the function name can be omitted as long as the argument is *not* a plain identifier—it must be `𝕩` or a compound value like a list to distinguish it from an immediate block label.
Test ← {
- "abc": "string"
- ⟨2,b⟩: ⌽𝕩
- 5: "number"
+ "abc": "string" ;
+ ⟨2,b⟩: ⌽𝕩 ;
+ 5: "number" ;
𝕩: "default"
}
diff --git a/docs/doc/block.html b/docs/doc/block.html
index a1446e75..491fd87d 100644
--- a/docs/doc/block.html
+++ b/docs/doc/block.html
@@ -206,9 +206,9 @@ ERROR
<h3 id="case-headers"><a class="header" href="#case-headers">Case headers</a></h3>
<p>A special rule allows for convenient case-matching syntax for one-argument functions. In any function header with one argument, the function name can be omitted as long as the argument is <em>not</em> a plain identifier—it must be <code><span class='Value'>𝕩</span></code> or a compound value like a list to distinguish it from an immediate block label.</p>
<pre><span class='Function'>Test</span> <span class='Gets'>←</span> <span class='Brace'>{</span>
- <span class='String'>&quot;abc&quot;</span><span class='Value'>:</span> <span class='String'>&quot;string&quot;</span>
- <span class='Bracket'>⟨</span><span class='Number'>2</span><span class='Separator'>,</span><span class='Value'>b</span><span class='Bracket'>⟩</span><span class='Value'>:</span> <span class='Function'>⌽</span><span class='Value'>𝕩</span>
- <span class='Number'>5</span><span class='Value'>:</span> <span class='String'>&quot;number&quot;</span>
+ <span class='String'>&quot;abc&quot;</span><span class='Value'>:</span> <span class='String'>&quot;string&quot;</span> <span class='Value'>;</span>
+ <span class='Bracket'>⟨</span><span class='Number'>2</span><span class='Separator'>,</span><span class='Value'>b</span><span class='Bracket'>⟩</span><span class='Value'>:</span> <span class='Function'>⌽</span><span class='Value'>𝕩</span> <span class='Value'>;</span>
+ <span class='Number'>5</span><span class='Value'>:</span> <span class='String'>&quot;number&quot;</span> <span class='Value'>;</span>
<span class='Value'>𝕩:</span> <span class='String'>&quot;default&quot;</span>
<span class='Brace'>}</span>
</pre>