[Haskell-cafe] Re: Top Level <-

[Ganesh Sittampalam]

On Sat, 6 Sep 2008, Brandon S. Allbery KF8NH wrote:

> On 2008 Sep 6, at 6:10, Ashley Yakeley wrote:

>> The set of ACIO expressions exp is the "static initialisers" of M. The RTS 
>> must note when each static initialiser is run, and cache its result val. 
>> Let's call this cache of vals the "static results cache" of M.
>> 
>> When M is loaded, and a static results cache for M already exists, then it 
>> will be used for the vals of M.
>
> This sounds "reachable" to me, and therefore static overhead and not a 
> leak.

You can call it what you like, but it's still unacceptable behaviour, 
particularly since clients of M will have no way of telling from its API 
that it will happen.

Ganesh