[Ecls-list] Type propagation

[Juan Jose Garcia-Ripoll]

On Wed, Aug 11, 2010 at 5:29 PM, Alexander Gavrilov <angavrilov at gmail.com>wrote:

> Hi, I've finally got around to this, and after some investigation
> implemented it using the static constant facility in cmpwt.lsp
> instead:


There are two problems with the static constant facility.

1) Not all compilers allow initialization of global constants in a
complicated way. MSVC chokes on many of the expressions we produce for lisp
constants.

2) Static constants are not allocated in the heap. That is a huge problem I
did not realize until recently, because if a constant in a loaded file is
still referenced _after_ the binary file is garbage collected and unloaded,
then we have a problem. I am looking for a solution, but currently it seems
disabling static constants is the only possibility.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100812/d82c9988/attachment.html>