Robert Boyer <[EMAIL PROTECTED]> writes:

> Here may be the numb of the problem as I see it with any proposed use of
> hashing and memoizing or any general facility for supporting same.  When to
> flush?  These hash/memo techniques tend to gradually fill up memory and
> someone has to decide when to "forget" or death from memory exhaustion will
> ensue.  But it's not very clear in general when to flush.  compile-file might
> provide a good beginning/end pair for the forgetting process.
> 

P.S. we flush the cache on each compile-file now in cvs HEAD.

Take care,

> Bob
> 
> 
> 
> 

-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


_______________________________________________
Gcl-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to