Proposal: Value strict versions of containers

Johan Tibell johan.tibell at
Mon May 23 16:30:02 CEST 2011

Forgot to add libraries@

On Mon, May 23, 2011 at 4:29 PM, Johan Tibell <johan.tibell at> wrote:
> On Mon, May 23, 2011 at 4:18 PM, Sebastian Fischer <fischer at> 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

More information about the Libraries mailing list