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


Groups > comp.lang.forth > #25227

Re: SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final)

From anton@mips.complang.tuwien.ac.at (Anton Ertl)
Newsgroups comp.lang.forth
Subject Re: SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final)
Date 2013-08-15 14:44 +0000
Organization Institut fuer Computersprachen, Technische Universitaet Wien
Message-ID <2013Aug15.164458@mips.complang.tuwien.ac.at> (permalink)
References (4 earlier) <2013Aug14.131123@mips.complang.tuwien.ac.at> <OPadnaLmU-HL7pbPnZ2dnUVZ_oudnZ2d@supernews.com> <2013Aug14.152224@mips.complang.tuwien.ac.at> <2013Aug14.153435@mips.complang.tuwien.ac.at> <520cc8b7.36245085@news.demon.co.uk>

Show all headers | View raw


stephenXXX@mpeforth.com (Stephen Pelc) writes:
> Ambiguous conditions exist if
...
>  - newname is parsed by:
>      ' ['] POSTPONE [COMPILE] ACTION-OF IS TO.

No.  SYNONYM was supposed to enable things that cannot be done with
":".  You can tick and POSTPONE colon definitions, so SYNONYMs would
be less capable than colon definitions.  And given the requirement
that "<newname> will behave identically to <oldname>", we should also
fix the specification to provide for ACTION-OF, IS, and TO.

Alternatively, remove SYNONYM, and make do with

: + + ;
: if postpone if ; immediate

> An intriguing option (that I have not tested yet) for systems
> that have a new xt for newname is to modify '.
>  ' newname
> If ' determines that the word is a child of SYNONYM, return the
> xt of oldname. In many implementations, that change will make
> the third ambiguous condition unnecessary because all the words
> rely on ' in one form or another. Language lawyers, torture test
> experts and implementers are welcome to comment.

That seems to be a viable way to get a SYNONYM that produces true
SYNONYMs.

The difference between "having a new xt and modifying '" and "a new
name with the same old xt" becomes mostly terminological at some
point.

- 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 2013: http://www.euroforth.org/ef13/

Back to comp.lang.forth | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-12 21:08 +0100
  Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-12 17:02 -0500
  Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-13 06:40 +0000
    Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-13 15:47 +0100
  Re: RfD v7: TRAVERSE-WORDLIST final stephenXXX@mpeforth.com (Stephen Pelc) - 2013-08-13 08:30 +0000
    Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-13 03:49 -0500
      Re: RfD v7: TRAVERSE-WORDLIST final stephenXXX@mpeforth.com (Stephen Pelc) - 2013-08-13 12:10 +0000
        Re: RfD v7: TRAVERSE-WORDLIST final graham <"s\" xyzgrahams@tectime.com\" 3 /string"> - 2013-08-14 11:51 +0100
        Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-14 11:11 +0000
          Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-14 07:08 -0500
            Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-14 13:22 +0000
              SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-14 13:34 +0000
                Re: SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final) stephenXXX@mpeforth.com (Stephen Pelc) - 2013-08-15 12:46 +0000
                Re: SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-15 14:44 +0000
                Re: SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final) peter.m.falth@gmail.com - 2013-08-15 08:09 -0700
              Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-14 09:40 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-14 16:39 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-14 11:32 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-14 18:26 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-14 14:50 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final Elizabeth D Rather <erather@forth.com> - 2013-08-14 10:28 -1000
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-15 12:04 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-15 07:20 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2013-08-15 08:23 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-15 03:16 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-15 12:32 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-15 07:26 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-15 12:50 +0000
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-15 08:55 -0500
                SYNONYM (was: RfD v7: TRAVERSE-WORDLIST final) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-15 14:05 +0000
                Re: SYNONYM Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-15 09:16 -0500
                Re: SYNONYM "Alex McDonald" <blog@rivadpm.com> - 2013-08-15 16:07 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Bernd Paysan <bernd.paysan@gmx.de> - 2013-08-15 23:52 +0200
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 07:22 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-16 13:39 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 08:25 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-16 18:54 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 13:13 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-16 13:16 +0000
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 09:01 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-16 14:23 +0000
                Re: RfD v7: TRAVERSE-WORDLIST final Bernd Paysan <bernd.paysan@gmx.de> - 2013-08-16 22:14 +0200
                Re: RfD v7: TRAVERSE-WORDLIST final Bernd Paysan <bernd.paysan@gmx.de> - 2013-08-16 21:46 +0200
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-17 03:08 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-16 13:42 +0000
                Re: RfD v7: TRAVERSE-WORDLIST final Bernd Paysan <bernd.paysan@gmx.de> - 2013-08-16 22:12 +0200
                Re: RfD v7: TRAVERSE-WORDLIST final anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-08-17 12:29 +0000
                Re: RfD v7: TRAVERSE-WORDLIST final Graham Smith <"s\" xyzgrahams@tectime.com\" 3 /string"> - 2013-08-16 17:36 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 12:00 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-16 18:56 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Andrew Haley <andrew29@littlepinkcloud.invalid> - 2013-08-16 13:07 -0500
                Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-16 19:18 +0100
                Re: RfD v7: TRAVERSE-WORDLIST final Graham Smith <"s\" not@gray@forthman.plus.com\" 4 /string"> - 2013-08-16 20:22 +0100
          Re: RfD v7: TRAVERSE-WORDLIST final stephenXXX@mpeforth.com (Stephen Pelc) - 2013-08-14 14:42 +0000
      Re: RfD v7: TRAVERSE-WORDLIST final stephenXXX@mpeforth.com (Stephen Pelc) - 2013-08-14 12:40 +0000
        Re: RfD v7: TRAVERSE-WORDLIST final Alex McDonald <blog@rivadpm.com> - 2013-08-14 06:20 -0700
          Re: RfD v7: TRAVERSE-WORDLIST final Mark Wills <markrobertwills@yahoo.co.uk> - 2013-08-14 06:23 -0700
    Re: RfD v7: TRAVERSE-WORDLIST final "Alex McDonald" <blog@rivadpm.com> - 2013-08-13 15:47 +0100

csiph-web