On Sat, Nov 13, 2010 at 2:55 PM, Petr Prokhorenkov
<prokhorenkov at gmail.com> wrote:
> Is there any way to overcome this?
You can add
{-# NOINLINE wtf #-}
That will prevent the sharing. But I'm not sure if this is the best solution.
Cheers,
--
Felipe.