[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in syncase
From: |
Marius Vollmer |
Subject: |
Re: bug in syncase |
Date: |
16 Nov 2002 19:39:24 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Dirk Herrmann <address@hidden> writes:
> the separation of memoization and execution is going forward.
Great!
> However, in (ice-9 syncase) there is one place where I don't know how to
> fix it correctly, namely in function putprop there is the following line:
> (variable-set! v sc-macro)
> where sc-macro is a macro. As a workaround, I have changed the line to
> (variable-set! v 'sc-macro)
> but without being aware of the effects. However, the test-suite almost
> completes flawlessly now.
I can't say right now how to fix this, but in general, I think the
whole syntax transformer business needs to be redone for a separate
memoizer/compiler pass. That is, it is OK when your new evaluator
breaks the existing syncase and this is not easily fixed. We need to
find a fix eventually, but that fix should also remove the kluginess
of the current situation completely.
In my vision, the syntax transformer in essence _is_ the memoizer.
Thus, I'd say it is acceptable that syntax-case support must be redone
from the ground up.
--
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405