,---------------.
| Contributions |
`---------------´


,------------------------------------------
| 2026-07-28 00:29:38  ruv  wrote:
| requestClarification - Character data type subtyping
| see: https://forth-standard.org/standard/usage#contribution-442
`------------------------------------------
There appears to be a *formal* inconsistency regarding the character data type.

- Section [3.1.2 Character types](https://forth-standard.org/standard/usage#usage:char) states that a characters shall "have a size less than **or equal to cell size**".
- Section [3.1.1 Data-type relationships](https://forth-standard.org/standard/usage#usage:type) states that the character data type is a subtype of the non-negative integer data type: `char ⇒ +n`.

At worst, both of these statements cannot be true simultaneously. If a character has a size **equal** to the cell size, then the character data type cannot be a subtype of `+n`, since every bit of a character is transferred and used (see [6.1.0850 `C!`](https://forth-standard.org/standard/core/CStore)).

The section 3.1.1 should probably be corrected to read: `char ⇒ u`.  A formal consequence of this change is that a character cannot be an argument of `min`, `<`, `>`, `mod`, `/`, and other words that take `n` but not `u`.



,---------.
| Replies |
`---------´


,------------------------------------------
| 2026-07-26 03:51:54  FrancoisLaagel  replies:
| requestClarification - BYE Semantics Needs Clarification
| see: https://forth-standard.org/standard/tools/BYE#reply-1707
`------------------------------------------
The 'BYE' specifications says 'Return control to the host operating system, if any.' That's not what I'm seeing IRL. A more proper wording might be "Return control to the interpreter;"


,------------------------------------------
| 2026-07-26 05:09:20  ruv  replies:
| requestClarification - BYE Semantics Needs Clarification
| see: https://forth-standard.org/standard/tools/BYE#reply-1708
`------------------------------------------
"Return control to the interpreter" is the behavior of `QUIT`.  I've never encountered a Forth system running under an OS where `BYE` didn't terminate the Forth process.