Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.forth > #47897
| From | anton@mips.complang.tuwien.ac.at (Anton Ertl) |
|---|---|
| Newsgroups | comp.lang.forth |
| Subject | Re: Quotations |
| Date | 2016-06-07 06:06 +0000 |
| Organization | Institut fuer Computersprachen, Technische Universitaet Wien |
| Message-ID | <2016Jun7.080618@mips.complang.tuwien.ac.at> (permalink) |
| References | (5 earlier) <nitf9k$e0d$1@gioia.aioe.org> <2016Jun4.170538@mips.complang.tuwien.ac.at> <f6b16071-e9ab-40c7-bf81-af0891ae2de5@googlegroups.com> <2016Jun6.151245@mips.complang.tuwien.ac.at> <21d2609a-5c6b-474e-be9e-b83bd6d342ba@googlegroups.com> |
hughaguilar96@gmail.com writes:
>On Monday, June 6, 2016 at 6:25:44 AM UTC-7, Anton Ertl wrote:
>> hughaguilar96@gmail.com writes:
>> >On Saturday, June 4, 2016 at 10:37:24 AM UTC-7, Anton Ertl wrote:
>> >> I can construct cases that don't work on Gforth's
>> >> implementation (see this thread), and if I look at how locals are
>> >> implemented in VFX, cases that don't work on VFX,=20
>> >
>> >You are totally lying about this. There are no bugs in my VFX code!
>> >
>> >Here is my VFX code once again:
>> >
>> >: rexit ( -- ) rdrop ;=20
>> >: (r:) ( -- r ) r@ 5 + ; \ 5 is the size of a JMP instruction in=
>> > 32-bit x86=20
>> >: r[ ( -- r ) postpone (r:) postpone ahead ; immediate=20
>> >: ]r ( -- ) postpone rexit postpone then ; immediate=20
>> >
>> >code rex ( r -- ) \ HumptyDumpty called this RCALL --- REX means "R e=
>> >xecute"=20
>> > push edi \ this is the HOF's LF which won't be used by the q=
>> >uotation=20
>> > mov edi, 0 [edi] \ this is the parent's LF which will be used by the=
>> > quotation=20
>> > call ' execute=20
>> > pop edi \ restore HOF's LF=20
>> > next, end-code=20
>> >
>> >Where is the bug that causes it to not work? Show an example case (you said=
>> > that you could!) in which it doesn't work. You can't!
>>
>> : ex { xt } xt execute ;
>> : foo { x } r[ x . ]r ex ;
>> cr 5 foo
...
>You are supposed to use REX for executing quotations --- not EXECUTE --- did you not even look at the code?
Oops, sorry, my bad. Ok, next try:
: foo { x } r[ x . ]r rex ;
cr 5 foo
should print 5, prints 134512640.
- 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 2016: http://www.euroforth.org/ef16/
Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-05 22:35 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2015-07-05 23:03 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-05 23:21 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2015-07-06 00:00 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-06 00:10 -0700
Re: Quotations Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2015-07-06 09:39 +0100
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-06 05:28 -0700
Re: Quotations franck.bensusan@gmail.com - 2015-07-06 15:02 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-06 22:43 -0700
Re: Quotations Stefan Mauerhofer <smauerhofer@androsoft.ch> - 2015-07-06 23:06 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-07 01:27 -0700
Re: Quotations Stefan Mauerhofer <smauerhofer@androsoft.ch> - 2015-07-07 03:40 -0700
Re: Quotations franck.bensusan@gmail.com - 2015-07-07 04:08 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2015-07-10 02:34 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-14 11:30 -0700
Re: Quotations franck.bensusan@gmail.com - 2015-07-16 03:28 -0700
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-07-16 09:11 -0700
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2015-07-08 12:04 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-28 13:06 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-29 02:22 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-29 10:41 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-05-29 12:38 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-29 23:03 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 00:34 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-05-30 03:04 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 03:41 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-05-30 08:26 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 08:46 -0700
Re: Quotations Cecil Bayona <cbayona@cbayona.com> - 2016-05-30 10:01 -0500
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 08:33 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-05-30 00:44 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 01:03 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-02 22:07 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-06-02 23:11 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-03 05:18 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-03 05:28 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-03 05:56 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-05-30 15:24 +0000
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 11:33 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-01 14:23 +0000
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 11:46 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-01 14:27 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-01 07:53 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 12:43 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-31 13:25 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-05-31 16:57 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-05-31 19:33 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-06-01 03:20 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-06-01 03:15 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-01 14:29 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-01 08:20 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-01 18:59 -0700
Re: Quotations "WJ" <w_a_x_man@yahoo.com> - 2016-06-02 06:05 +0000
Re: Quotations alex@rivadpm.com - 2016-06-09 09:59 -0700
Re: Quotations "WJ" <w_a_x_man@yahoo.com> - 2016-06-09 17:47 +0000
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-06-01 09:12 -0700
Re: Quotations "HAA" <someone@microsoft.com> - 2016-06-02 12:45 +1000
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-02 04:42 -0500
Re: Quotations Raimond Dragomir <raimond.dragomir@gmail.com> - 2016-06-02 05:08 -0700
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-02 06:53 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-02 13:54 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-02 13:09 -0700
Re: Quotations "HAA" <someone@microsoft.com> - 2016-06-04 12:45 +1000
Re: Quotations hughaguilar96@gmail.com - 2016-06-03 20:52 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-04 15:05 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-06 01:41 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-06 13:12 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-06 08:29 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-07 06:06 +0000
Re: Quotations mhx@iae.nl - 2016-06-06 10:51 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-07 06:36 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-07 00:44 -0700
Re: Quotations mhx@iae.nl - 2016-06-07 11:35 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-08 07:14 +0000
Re: Quotations hughaguilar96@gmail.com - 2016-06-09 00:58 -0700
Re: Quotations "WJ" <w_a_x_man@yahoo.com> - 2016-06-09 11:37 +0000
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-07 12:37 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-07 19:03 -0700
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-02 11:12 -0500
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-02 09:42 -0700
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-03 02:53 -0500
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-03 23:00 -0700
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-04 04:37 -0500
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-05 19:12 -0700
Re: Quotations Paul Rubin <no.email@nospam.invalid> - 2016-06-05 21:20 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-06-09 02:55 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-09 19:20 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-06-10 07:00 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-10 10:00 -0700
Re: Quotations franck.bensusan@gmail.com - 2016-06-10 10:56 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-10 17:56 -0700
Re: Quotations Mark Wills <markwills1970@gmail.com> - 2016-06-14 05:18 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-26 16:12 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-06-02 12:41 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-06-02 13:03 -0700
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-02 13:37 +0000
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-08 04:33 -0500
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-08 09:39 +0000
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-08 05:53 -0500
Re: Quotations anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-06-08 11:30 +0000
Re: Quotations Andrew Haley <andrew29@littlepinkcloud.invalid> - 2016-06-08 08:11 -0500
Re: Quotations hughaguilar96@gmail.com - 2016-06-09 01:09 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-30 08:54 -0700
Re: Quotations hughaguilar96@gmail.com - 2016-05-31 12:06 -0700
Re: Quotations humptydumpty <ouatubi@gmail.com> - 2016-05-31 13:41 -0700
Re: Quotations "WJ" <w_a_x_man@yahoo.com> - 2016-05-31 21:09 +0000
Lambdas (closures) "WJ" <w_a_x_man@yahoo.com> - 2016-06-09 17:18 +0000
csiph-web