diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-24 22:29:45 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-24 22:29:45 -0400 |
| commit | 436bf368830c828f8008bf55632e2bb4c2a2578f (patch) | |
| tree | e37be11d2cb9651bc439ead590d734c21679df6c | |
| parent | b60fd36b9eb6b245c848502f388dc7f5b3f9131d (diff) | |
Simplification: Range fill is just ๐ฉ fill-ified
| -rw-r--r-- | docs/spec/inferred.html | 8 | ||||
| -rw-r--r-- | 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 @@ </tr> <tr> <td><code><span class='Value'>๐ฉ</span></code></td> -<td><code><span class='Function'><</span></code></td> +<td><code><span class='Function'><โ</span></code></td> <td></td> <td></td> </tr> @@ -116,12 +116,6 @@ <td></td> <td></td> </tr> -<tr> -<td><code><span class='Number'>0</span><span class='Modifier2'>โ</span><span class='Number'>0</span><span class='Value'>๐ฉ</span></code></td> -<td><code><span class='Function'>โ</span></code></td> -<td></td> -<td></td> -</tr> </tbody> </table> <p>For Group and Group Indices (<code><span class='Function'>โ</span></code>), 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 <code><span class='Value'>๐ฉ</span></code> for Group, and is <code><span class='Number'>0</span></code> for Group Indices. The fill element of the result is <code><span class='Paren'>(</span><span class='Number'>0</span><span class='Modifier2'>โ</span><span class='Number'>1</span><span class='Value'>๐จ</span><span class='Paren'>)</span><span class='Function'>โ</span><span class='Value'>๐ฉ</span></code> for Group, and <code><span class='Function'>โฅ</span><span class='Modifier2'>โ</span><span class='Function'><</span><span class='Number'>0</span><span class='Modifier2'>โ</span><span class='Number'>1</span><span class='Value'>๐ฉ</span></code> for Group Indices.</p> 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. |