From ba4658edcf3247e18aacc75eda30a572ed403af2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 2 Dec 2020 14:59:40 -0500 Subject: Use the result generation instead of writing ERROR in code blocks --- doc/block.md | 1 - doc/join.md | 2 -- docs/doc/block.html | 4 ++-- docs/doc/join.html | 6 +++--- 4 files changed, 5 insertions(+), 8 deletions(-) diff --git a/doc/block.md b/doc/block.md index d4bdd71b..e565ab17 100644 --- a/doc/block.md +++ b/doc/block.md @@ -168,7 +168,6 @@ Bodies before the last two must have headers that include arguments. When a bloc If no header is compatible, the call results in an error. 3 CaseAdd 3 - ERROR ### Case headers diff --git a/doc/join.md b/doc/join.md index 3b42069f..04fa8a0e 100644 --- a/doc/join.md +++ b/doc/join.md @@ -15,9 +15,7 @@ To join with a separator in between, we might prepend the separator to each stri Join requires each element of its argument to be an array, and their ranks to match exactly. No rank extension is performed. ∾"abc"‿'d'‿"ef" # Includes an atom - RANK ERROR ∾"abc"‿(<'d')‿"ef" # Includes a unit - RANK ERROR However, Join has higher-dimensional uses as well. Given a rank-`m` array of rank-`n` arrays (requiring `m≤n`), it will merge arrays along their first `m` axes. For example, if the argument is a matrix of matrices representing a [block matrix](https://en.wikipedia.org/wiki/Block_matrix), Join will give the corresponding unblocked matrix as its result. diff --git a/docs/doc/block.html b/docs/doc/block.html index 10896e93..1fcd1dd6 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -195,8 +195,8 @@ ⟨ 2 4 ⟩

If no header is compatible, the call results in an error.

-
    3 CaseAdd 3
-ERROR
+↗️
    3 CaseAdd 3
+ERROR
 

 
Case headers

 
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.

diff --git a/docs/doc/join.html b/docs/doc/join.html
index 55d58818..c324a706 100644
--- a/docs/doc/join.html
+++ b/docs/doc/join.html
@@ -15,10 +15,10 @@
 "time to join some words"

Join requires each element of its argument to be an array, and their ranks to match exactly. No rank extension is performed.

-
    ∾"abc"‿'d'‿"ef"  # Includes an atom
-RANK ERROR
+↗️
    ∾"abc"‿'d'‿"ef"  # Includes an atom
+ERROR
     ∾"abc"‿(<'d')‿"ef"  # Includes a unit
-RANK ERROR
+ERROR
 

 
However, Join has higher-dimensional uses as well. Given a rank-m array of rank-n arrays (requiring m≤n), it will merge arrays along their first m axes. For example, if the argument is a matrix of matrices representing a block matrix, Join will give the corresponding unblocked matrix as its result.

 ↗️
    ⊢ m ← (3‿1∾⌜4‿2‿5) ⥊¨ 2‿3⥊↕6
-- 
cgit v1.2.3