Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.forth > #13472
| From | anton@mips.complang.tuwien.ac.at (Anton Ertl) |
|---|---|
| Newsgroups | comp.lang.forth |
| Subject | Re: THROW and iors |
| Date | 2012-07-03 13:34 +0000 |
| Organization | Institut fuer Computersprachen, Technische Universitaet Wien |
| Message-ID | <2012Jul3.153421@mips.complang.tuwien.ac.at> (permalink) |
| References | (2 earlier) <m679uh.4l1@spenarnc.xs4all.nl> <df2feec0-2ea8-44b0-ad71-701f4ddd8efa@googlegroups.com> <3f124d58-6754-4682-80e1-0a39911cf5f7@f7g2000yqh.googlegroups.com> <7736403d-9ddc-4055-b14f-06a958666206@googlegroups.com> <1992cdef-8968-49e6-8871-76ee2d3f2e32@km7g2000pbc.googlegroups.com> |
Hugh Aguilar <hughaguilar96@yahoo.com> writes:
>At this point I am thoroughly confused. If FIND can return two
>different xt's according to STATE, which do ' and ['] return - the
>interpretation semantics or the execution semantics?
That's a good question. For most words, they are the same, so there
is no difference for them. The exceptions are:
1) Words like File wordset S" with interpretation semantics and no
defined execution semantics.
2) Words like EXIT with defined execution semantics and explicitly
undefined interpretation semantics.
3) Words like IF without execution semantics and with explicitly
undefined interpretation semantics.
A question to the Forth-94 TC resulted in an informal answer by Loring
Craymer (a TC member) that ' EXIT and ['] EXIT are non-standard,
because of the sentence in 6.1.0070:
|When interpreting, ' xyz EXECUTE is equivalent to xyz.
It's pretty clear that ' IF and ['] IF don't need to work.
As for ' S" and ['] S", it's not clear that this is required to work,
but if it is required, the xt should represent the interpretation
semantics of S" (that's what Gforth implements).
- anton
--
M. Anton Ertl http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
New standard: http://www.forth200x.org/forth200x.html
EuroForth 2012: http://www.euroforth.org/ef12/
Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar
THROW and iors stephenXXX@mpeforth.com (Stephen Pelc) - 2012-06-23 18:04 +0000
Re: THROW and iors Bernd Paysan <bernd.paysan@gmx.de> - 2012-06-23 23:17 +0200
Re: THROW and iors "Rod Pemberton" <do_not_have@notemailnot.cmm> - 2012-06-24 04:17 -0400
Re: THROW and iors Coos Haak <chforth@hccnet.nl> - 2012-06-25 22:02 +0200
Re: THROW and iors anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2012-06-24 13:01 +0000
Re: THROW and iors Hugh Aguilar <hughaguilar96@yahoo.com> - 2012-06-25 05:01 -0700
Re: THROW and iors Albert van der Horst <albert@spenarnc.xs4all.nl> - 2012-06-26 01:08 +0000
Re: THROW and iors jfong <jfong@ms4.hinet.net> - 2012-06-25 20:13 -0700
Re: THROW and iors BruceMcF <agila61@netscape.net> - 2012-06-26 10:18 -0700
Re: THROW and iors jfong <jfong@ms4.hinet.net> - 2012-06-26 18:53 -0700
Re: THROW and iors Hugh Aguilar <hughaguilar96@yahoo.com> - 2012-07-02 21:36 -0700
Re: THROW and iors anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2012-07-03 13:34 +0000
Re: THROW and iors Hugh Aguilar <hughaguilar96@yahoo.com> - 2012-07-03 21:37 -0700
csiph-web