Re: Proposal: Value strict versions of containers

Forgot to add libraries@ On Mon, May 23, 2011 at 4:29 PM, Johan Tibell wrote:

On Mon, May 23, 2011 at 4:18 PM, Sebastian Fischer wrote:

...

Because unboxing can not be used for the polymorphic value component in the strict structure and there is no way to tell GHC to unbox the specific instantiation `IntMap (Lazy a)`?

Exactly. This would amount to code generation in the module defining IntMap (Lazy a), similar to how C++ implements template.

...

I thought GHC would eliminate the indirection and extra words with -funbox-strict-fields.

Unfortunately not.

Johan