Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: mhx@iae.nl (mhx)
Newsgroups: comp.lang.forth
Subject: Re: Operator =?UTF-8?B?b3ZlcmxvYWRpbmc/?=
Date: Wed, 31 Jul 2024 09:41:23 +0000
Organization: novaBBS
Message-ID: <2af79ef5abcec71a1d42a461b6bc56b8@www.novabbs.com>
References: <a1aab44ee3b1b56c2f54f2606e98d040@www.novabbs.com> <v8b04c$137lg$1@dont-email.me> <nnd$6e668a8e$712b1a09@1b1e479e823969fb> <v8cuur$1go8k$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: i2pn2.org;
	logging-data="971080"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="t0bSWFIQDvYvkkhDiPIIv6byulC6WbSEwXWMJpxc4k0";
User-Agent: Rocksolid Light
X-Spam-Checker-Version: SpamAssassin 4.0.0
X-Rslight-Site: $2y$10$dECBDnL98fsdPZAwMuuKMezt/SsM/anYA5/Vfmc9zCD89Y4jg1X/2
X-Rslight-Posting-User: 59549e76d0c3560fb37b97f0b9407a8c14054f24
Bytes: 1979
Lines: 25

On Wed, 31 Jul 2024 9:08:43 +0000, Gerry Jackson wrote:
[..]
> 111 value x x . 111  ok
> 222 to cr .( Does TO parse? ) x x 222 = [if] .( No it doesn't!) [then]
> Does TO parse? No it doesn't! ok
[..]

As does iForth.

> You could argue that it's not a standard program because it contains a
> deliberate ambiguous condition so a parsing TO would fail in some way
> but it does demonstrate non-compliant behaviour.

  222 TO cr

should (I hope!) produce an exception (unless CR is redefined),
so this *definitely* fails and doesn't even finish the test.

I'm not sure that you can use a buggy program to test for an ambiguous
condition (looks like a top job for an eager lawyer). It would be
much better if the anomaly can be shown with a valid program. What's
the damage when a intentionally erroneous piece of code fails?
Also note that this program's output is correct on Vfx and fails with
an exception on compliant Forths :--)

-marcel