
16 Nov
2008
16 Nov
'08
1:14 p.m.
On Sat, Nov 15, 2008 at 05:31:12PM +0000, Colin Paul Adams wrote:
Can you suggest how I should go about investigating this problem further?
Try linking with -debug, and running with +RTS -DS. That might reveal the problem, and if not you should get more useful info from gdb. Thanks Ian