Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #13472

Re: THROW and iors

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>

Show all headers | View raw


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 | NextPrevious in thread | Next in thread | Find similar


Thread

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