Re: bug in syncase

[Marius Vollmer]

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