From 436bf368830c828f8008bf55632e2bb4c2a2578f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 24 Jul 2021 22:29:45 -0400 Subject: =?UTF-8?q?Simplification:=20Range=20fill=20is=20just=20?= =?UTF-8?q?=F0=9D=95=A9=20fill-ified?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/inferred.html | 8 +------- spec/inferred.md | 3 +-- 2 files changed, 2 insertions(+), 9 deletions(-) diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index bda3e054..ef7bb6e1 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -100,7 +100,7 @@ ๐•ฉ -< +<โ†• @@ -116,12 +116,6 @@ - -0โš‡0๐•ฉ -โ†• - - -

For Group and Group Indices (โŠ”), the fill element of the result and its elements are both specified: the fill element of each element of the result is the same as that of ๐•ฉ for Group, and is 0 for Group Indices. The fill element of the result is (0โš‡1๐•จ)โ†‘๐•ฉ for Group, and โฅŠโŸœ<0โš‡1๐•ฉ for Group Indices.

diff --git a/spec/inferred.md b/spec/inferred.md index bfc9dbda..0fe24442 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -50,10 +50,9 @@ Fill elements for many primitives are given in the table below. The "Fill" colum |--------|--------------|-------------|---------- | `โŠข` | `โˆงโˆจโฅŠโ‰ยปยซโŒฝโ‰โŠโท` | `โฅŠโ†‘โ†“โ†•โŒฝโ‰/โŠ` | `` ๐”ฝ` `` | `0` | `โ‰ข/โ‹โ’โˆŠโŠโŠ’` | `โ‹โ’โŠโŠ’โˆŠโท` -| `๐•ฉ` | `<` +| `๐•ฉ` | `<โ†•` | `โˆฉ` | `>โˆพ` | `โˆพโ‰ยปยซ` | `0โ†‘๐•ฉ` | `โ†‘โ†“` -| `0โš‡0๐•ฉ` | `โ†•` For Group and Group Indices (`โŠ”`), the fill element of the result and its elements are both specified: the fill element of each element of the result is the same as that of `๐•ฉ` for Group, and is `0` for Group Indices. The fill element of the result is `(0โš‡1๐•จ)โ†‘๐•ฉ` for Group, and `โฅŠโŸœ<0โš‡1๐•ฉ` for Group Indices. -- cgit v1.2.3