23 May
2011
23 May
'11
10:30 p.m.
Forgot to add libraries@ On Mon, May 23, 2011 at 4:29 PM, Johan Tibell <johan.tibell@gmail.com> wrote:
On Mon, May 23, 2011 at 4:18 PM, Sebastian Fischer <fischer@nii.ac.jp> 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