Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Ruvim <ruvim.pinka@gmail.com>
Newsgroups: comp.lang.forth
Subject: Re: QUIT and ABORT
Date: Mon, 5 May 2025 21:44:46 +0400
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <vvateg$ra84$2@dont-email.me>
References: <87bjtn2hct.fsf@gmail.com>
 <nnd$3b017059$6aa9c908@b5507bbc6e704cf6>
 <5ce2cb85311aa91fcb7ab57c802aef09b3345163@i2pn2.org>
 <nnd$1667d791$2eba7243@d7216ffec373a0d9>
 <nnd$595f502c$48101358@27425914746d2863>
 <d9149a9d12db559e2720156b315fcfdcdd90e3fe@i2pn2.org>
 <2025May3.072517@mips.complang.tuwien.ac.at>
 <6973d7bc1d0376ab234a39a3dda82287b7b13450@i2pn2.org>
 <2025May3.180226@mips.complang.tuwien.ac.at>
 <b78a04cbc0fc7c0a6c041e46ea83dc7a6206e5d6@i2pn2.org>
 <2025May4.153331@mips.complang.tuwien.ac.at>
 <6a9a2b6e873c1b72bdec2c72749ef0aac6f33f42@i2pn2.org>
 <vvashh$ra84$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 May 2025 19:44:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b802166d6bcac374db4f5e210d68b5fa";
	logging-data="895236"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19buM0Hqp7MG5IFm13265hV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:t1F7xalNN2Vb6Eh6j9yhhtoaKb8=
In-Reply-To: <vvashh$ra84$1@dont-email.me>
Content-Language: en-US

On 2025-05-05 21:29, Ruvim wrote:
> On 2025-05-05 08:11, dxf wrote:
[...]
>>
>> : bar 4 quit ; ' bar catch 6
>>
>>    stack is: -56 6
>>
> 
> This violates `quit` 6.1.2050, because:
>    - `quit` is not allowed to remove anything from the data stack (in 
> this case, remove 4 from the stack);
>    - `quit` is not allowed to place anything on the data stack (in this 
> case, place `-56`);
>    - `quit` is not allowed to interpret the remaining part of the input 
> buffer  (in this case, interpret "6" and place 6 on the stack).

I mean, before it starts interpreting of the input source (the user 
input device), which starts by accepting a line from the input source.


--
Ruvim