Path: csiph.com!optima2.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: "Rod Pemberton" Newsgroups: comp.lang.forth Subject: Re: bug in VFX --- IF does't work Date: Mon, 22 Jun 2015 05:57:33 -0400 Organization: Aioe.org NNTP Server Lines: 31 Message-ID: References: <2e398151-3bb9-4827-8b25-2065117703f1@googlegroups.com> <2015Jun20.182607@mips.complang.tuwien.ac.at> <2015Jun21.162640@mips.complang.tuwien.ac.at> <702e2669-6884-46e8-b861-8ff1191ad579@googlegroups.com> NNTP-Posting-Host: n4wpt9zq8xR26Ttf9mo2BA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.16 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: csiph.com comp.lang.forth:39955 On Mon, 22 Jun 2015 00:16:36 -0400, wrote: > Of course executing IF in interpretation mode is a illegal --- that is > why the the ANS-Forth document for IF (6.1.1700) says: "Interpretation > semantics for this word are undefined." People do the same thing with the term "undefined behavior" for C. They assume it means behavior which is not implemented and not to be implemented. It only means that the specification did not standardize a behavior for the situation, not that some behavior is not defined for a platform or implementation. Frequently, the behavior is defined for many platforms and has a commmonly implemented and widespread behavior which is standard but not standardized. You're conflating "illegal behavior" for "undefined behavior" for the specification in the exact same way as C pedantics. I.e., Anton has repeatedly stated that ANS doesn't prohibit an ITC Forth and nothing special is required to prohibit behaviors of Forth words for ITC Forths. I've had him clarify this issue at least twice now. In an ITC Forth, Forth may very well execute IF in interpretation mode. So, executing and IF in interpretation mode for ANS is not illegal where the behavior would have to be prohibited or blocked, but is undefined as to what happens when executed according to the specifications. Rod Pemberton -- It's time to put an end to gun violence! Use a hammer ...