
26 Apr
2012
26 Apr
'12
6:32 p.m.
On Thu, Apr 26, 2012 at 2:34 PM, Mikhail Glushenkov
Thanks. I'll look into how to optimise .hi loading by more traditional means, then.
Lennart is working on speeding up the binary package (which I believe is used to decode the .hi files.) His work might benefit this effort. -- Johan