Re: [Texmacs-dev] Revised patch: Speedup in startup time

[Joris van der Hoeven]

On Mon, Jun 15, 2009 at 07:39:37AM +0100, Norbert Nemec wrote:
> However, this is indeed a rather tricky detail of the language 
> definition, so I it might be worth checking the compiler. In this case, 
> however, it will not affect the correctness of the program.

In fact, these things actually can affect the correctness of a program.
Indeed, if you use equality tests which are based on pointer equality,
then you will need to assume that there is only one copy of
the actual static variable. This should be the convention,
since it is the only one which preserves the semantics
when switching between inline/not inline.

Anyway, I fixed the problem in a more straightforward manner
in the SVN version.

--Joris