From 852bc0b8ba67a47dfe4f6c718fcddfd80415d423 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 4 Aug 2021 14:14:14 -0400 Subject: =?UTF-8?q?Specify=20how=20=E2=80=A2Decompose=20handles=20non-prim?= =?UTF-8?q?itive=20non-block=20operations?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/system.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'spec/system.md') diff --git a/spec/system.md b/spec/system.md index c82229f3..041b4539 100644 --- a/spec/system.md +++ b/spec/system.md @@ -167,13 +167,13 @@ Each function in this section is monadic. `•Source` gives a string containing a block's source, including the enclosing braces `{}`. It causes an error if the argument is not a block. In contrast to `•Glyph`, this function does not give full information about `𝕩` because the result cannot convey environment or mutable identity. -`•Decompose` breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and `•Decompose` cannot cause an error. +`•Decompose` breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. "Other" includes blocks and system functions. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and `•Decompose` cannot cause an error. | Kind | Code | Components |---------------|------|----------- | Non-operation | -1 | `𝕩` | Primitive | 0 | `𝕩` -| Block | 1 | `𝕩` +| Other | 1 | `𝕩` | 2-train | 2 | ` g,h` | 3-train | 3 | `f,g,h` | 1-mod | 4 | `𝕗,𝕣` -- cgit v1.2.3