From: Dirk Herrmann <dirk@sallust.ida.ing.tu-bs.de>
Cc: guile-devel@gnu.org, guile-user@gnu.org
Subject: Re: macros, procedure->macro
Date: Wed, 3 Jul 2002 22:08:16 +0200 (CEST) [thread overview]
Message-ID: <afvlku$g4m$2@main.gmane.org> (raw)
In-Reply-To: <200207012220.PAA08054@onyx.he.net>
On 1 Jul 2002, Gary Houston wrote:
> > From: Dirk Herrmann <dirk@sallust.ida.ing.tu-bs.de>
> > Date: Mon, 1 Jul 2002 21:56:23 +0200 (CEST)
>
> > 1) Some macro expert should check that replacing the call to
> > procedure->macro in boot-9.scm by a call to procedure->memoizing-macro is
> > safe.
>
> A few others worth checking:
>
> ./guile-core/oop/goops/save.scm: (procedure->macro
> ./guile-core/oop/goops/stklos.scm: (procedure->macro
> ./guile-core/oop/goops.scm: (procedure->macro
> ./guile-core/oop/goops.scm: (procedure->macro
> ./guile-core/oop/goops.scm: (procedure->macro
Thanks for pointing these out. I will take a look at them. My current
assumption is, that it should be generally safe to replace
procedure->macro by procedure->memoizing-macro if the following conditions
are met:
1) the macro procedure does not have a stateful behaviour and
2) the transformation of the macro procedure does not depend on the
content of the environment argument.
If I am not mistaken, these two conditions guarantee, that the transformer
will return the same transformed code with every execution. Thus, it
could just memoize that code, since it would always be the same anyway.
Best regards,
Dirk
_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-user
next parent reply other threads:[~2002-07-03 20:08 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <200207012220.PAA08054@onyx.he.net>
2002-07-03 20:08 ` Dirk Herrmann [this message]
[not found] <m3znws4nr2.fsf@laruns.ossau.uklinux.net>
2002-07-16 22:00 ` macros, procedure->macro Dirk Herrmann
[not found] <Pine.GSO.4.05.10207142321410.23724-100000@sallust.ida.ing.tu-bs.de>
2002-07-15 20:48 ` Marius Vollmer
2002-07-15 22:42 ` Neil Jerram
[not found] <Pine.GSO.4.05.10207130841180.21201-100000@sallust.ida.ing.tu-bs.de>
2002-07-14 15:23 ` Neil Jerram
2002-07-14 21:35 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207131148030.21457-100000@sallust.ida.ing.tu-bs.de>
2002-07-13 18:38 ` Marius Vollmer
[not found] <Pine.GSO.4.05.10207102338290.16926-100000@sallust.ida.ing.tu-bs.de>
2002-07-13 9:53 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207102158440.16653-100000@sallust.ida.ing.tu-bs.de>
2002-07-13 0:09 ` Neil Jerram
[not found] ` <m3d6ts7akl.fsf@laruns.ossau.uklinux.net>
2002-07-13 2:36 ` Clinton Ebadi
2002-07-13 6:53 ` Dirk Herrmann
[not found] ` <200207122236.56581.unknown_lamer@unknownlamer.org>
2002-07-14 15:23 ` Neil Jerram
[not found] ` <m3r8i65o6a.fsf@laruns.ossau.uklinux.net>
2002-07-14 16:26 ` Marius Vollmer
[not found] ` <87fzymff8b.fsf@zagadka.ping.de>
2002-07-15 6:03 ` Rob Browning
[not found] <Pine.GSO.4.05.10207102138580.16653-100000@sallust.ida.ing.tu-bs.de>
2002-07-10 20:08 ` Marius Vollmer
[not found] <m3d6tv99dp.fsf@laruns.ossau.uklinux.net>
2002-07-10 20:03 ` Dirk Herrmann
[not found] <87hej7mlc3.fsf@zagadka.ping.de>
2002-07-10 19:57 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207100709220.15376-100000@sallust.ida.ing.tu-bs.de>
2002-07-10 19:31 ` Marius Vollmer
[not found] <Pine.GSO.4.05.10207100727490.15376-100000@sallust.ida.ing.tu-bs.de>
2002-07-10 10:15 ` Neil Jerram
[not found] <m3fzysa9fe.fsf@laruns.ossau.uklinux.net>
2002-07-10 5:46 ` Dirk Herrmann
[not found] <87ptxwdamm.fsf@zagadka.ping.de>
2002-07-10 5:21 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207082223400.12632-100000@sallust.ida.ing.tu-bs.de>
2002-07-09 18:22 ` Marius Vollmer
[not found] <Pine.GSO.4.05.10207082202540.12632-100000@sallust.ida.ing.tu-bs.de>
2002-07-09 18:13 ` Marius Vollmer
[not found] <87r8if77a6.fsf@zagadka.ping.de>
2002-07-08 20:31 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207042204110.5534-100000@sallust.ida.ing.tu-bs.de>
2002-07-07 18:15 ` Marius Vollmer
2002-07-08 20:23 ` Dirk Herrmann
2002-07-10 21:54 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207032208310.27679-100000@sallust.ida.ing.tu-bs.de>
2002-07-07 17:54 ` Marius Vollmer
[not found] <Pine.GSO.4.05.10207032204140.27679-100000@sallust.ida.ing.tu-bs.de>
2002-07-04 20:16 ` Dirk Herrmann
[not found] <87k7ofb0h2.fsf@raven.i.defaultvalue.org>
2002-07-03 20:24 ` Dirk Herrmann
[not found] <87adpbxfio.fsf@zagadka.ping.de>
2002-07-03 20:11 ` Dirk Herrmann
[not found] <Pine.GSO.4.05.10207012134500.15843-100000@sallust.ida.ing.tu-bs.de>
2002-07-01 20:27 ` Thien-Thi Nguyen
2002-07-03 20:02 ` Dirk Herrmann
2002-07-01 21:30 ` Rob Browning
2002-07-01 22:14 ` Marius Vollmer
2002-07-01 22:17 ` Gary Houston
2002-07-09 21:16 ` Neil Jerram
2002-07-01 19:56 Dirk Herrmann
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='afvlku$g4m$2@main.gmane.org' \
--to=dirk@sallust.ida.ing.tu-bs.de \
--cc=guile-devel@gnu.org \
--cc=guile-user@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).