Re: [Texmacs-dev] memoizing macros

[Joris van der Hoeven]

> In texmacs 1.0.2.3 I see this new comment:
> ;; FIXME: yet another bug in Guile: for some strange reason,
> ;; import-menu-promise and export-menu-promise are not
> ;; reevaluated at each run. This *is* the case for top level macros,
> ;; but apparently not for local macros or macros in a module :^(((
>
> Macros _should not_ execute code. They should only transform syntax.

Well, the syntax transformation has to be context-dependent for TeXmacs
in some cases, at least for the evaluation of promises. Or do you propose
another mechanism?

> So language can implement a useful optimization called "macro memoization"
> which seems to be exactly what the comment complains about.

Can we turn this stuff off?