Re: Execution tokens for return stack manipulation

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.supernews.com!news.supernews.com.POSTED!not-for-mail
NNTP-Posting-Date	Mon, 23 Sep 2013 15:53:33 -0500
Sender	Andrew Haley <aph@zebedee.pink>
From	Andrew Haley <andrew29@littlepinkcloud.invalid>
Subject	Re: Execution tokens for return stack manipulation
Newsgroups	comp.lang.forth
References	<l1q4vi$jdi$1@oravannahka.helsinki.fi> <D6KdncmsPd8EAN3PnZ2dnUVZ_vydnZ2d@supernews.com> <l1q7rr$lpd$1@oravannahka.helsinki.fi>
User-Agent	tin/1.9.2-20070201 ("Dalaruan") (UNIX) (Linux/3.8.13-100.fc17.x86_64 (x86_64))
Message-ID	<aO2dnRG2d5PQN93PnZ2dnUVZ_qydnZ2d@supernews.com> (permalink)
Date	Mon, 23 Sep 2013 15:53:33 -0500
Lines	28
X-Trace	sv3-z4jSDwGeQqtNIHEZnILkVcIPCfn2gKPXXa3O0XKJRi/vlR2oOGXqFplIumT+9iFcju/r2mA3I4GPt9S!YYTSjjQ9QGG5maYKy0TPiYol1ePWZqIikR1KZOzl0S3ZRThaHasOrZNeutUacOpxTSJbirGVLogv!EwWMN9kH+B4=
X-Complaints-To	www.supernews.com/docs/abuse.html
X-DMCA-Complaints-To	www.supernews.com/docs/dmca.html
X-Abuse-and-DMCA-Info	Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info	Otherwise we will be unable to process your complaint properly
X-Postfilter	1.3.40
X-Original-Bytes	2397
Xref	csiph.com comp.lang.forth:25979

Show key headers only | View raw

Lauri Alanko <la@iki.fi> wrote:
> In article <D6KdncmsPd8EAN3PnZ2dnUVZ_vydnZ2d@supernews.com>,
> Andrew Haley  <andrew29@littlepinkcloud.invalid> wrote:
>> You can't tick and execute >R.
>> 
>> This is implied because of the interpretation semantics of >R:
> 
> Ah, that was it, thanks!
> 
> However, I must say this is somewhat non-obvious. The prohibition
> comes from 4.1.2, which forbids "attempting to obtain the execution
> token of a definition with undefined interpretation semantics".
> 
> But 3.4.3.1 says that EXECUTE executes the _execution_ semantics,
> which the return stack operations do have. And neither the glossary
> for the tick operations nor for EXECUTE mentions the constraint. So it
> is very hard to find out, unless one already knows where to look.

That's a fair complaint.  Perhaps we could just add a cross-reference
to the glossary for the tick operations?

I think it's fair to say that the Forth 200x discussions around the
area of rewording (or rewriting) the handling of compilation/
execution/interpretation semantics have been tortuous.  It's really
hard to get right in a way that allows all the variations of Forth
systems but prohibits the things that shouldn't be done.

Andrew.

Thread

Execution tokens for return stack manipulation Lauri Alanko <la@iki.fi> - 2013-09-23 19:32 +0000
  Re: Execution tokens for return stack manipulation Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-09-23 14:59 -0500
    Re: Execution tokens for return stack manipulation Lauri Alanko <la@iki.fi> - 2013-09-23 20:21 +0000
      Re: Execution tokens for return stack manipulation Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-09-23 15:53 -0500
    Re: Execution tokens for return stack manipulation Bernd Paysan <bernd.paysan@gmx.de> - 2013-09-23 23:27 +0200
      Re: Execution tokens for return stack manipulation "Alex McDonald" <blog@rivadpm.com> - 2013-09-23 23:37 +0100
      Re: Execution tokens for return stack manipulation Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-09-24 06:52 -0500
        Re: Execution tokens for return stack manipulation anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-09-24 12:36 +0000
          Re: Execution tokens for return stack manipulation Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-09-24 12:10 -0500
            Re: Execution tokens for return stack manipulation Bernd Paysan <bernd.paysan@gmx.de> - 2013-09-24 22:22 +0200
        Re: Execution tokens for return stack manipulation Bernd Paysan <bernd.paysan@gmx.de> - 2013-09-24 16:14 +0200
          Re: Execution tokens for return stack manipulation Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-09-24 12:12 -0500
  Re: Execution tokens for return stack manipulation "Rod Pemberton" <dont_use_email@nohavenotit.com> - 2013-09-23 18:09 -0400
  Re: Execution tokens for return stack manipulation "Elizabeth D. Rather" <erather@forth.com> - 2013-09-23 12:40 -1000
    Re: Execution tokens for return stack manipulation Lauri Alanko <la@iki.fi> - 2013-09-23 22:43 +0000
      Re: Execution tokens for return stack manipulation Spam@ControlQ.com - 2013-09-24 01:38 -0400

csiph-web