
25 Jun
2012
25 Jun
'12
8:54 a.m.
Jonathan Geddes
Is this a known issue? More importantly, is there a known workaround?
My experience is that ghci (typically run as an inferior Emacs process) often retains a lot of memory. Thus, I occasionally kill and restart it. (Not sure if that counts as a workaround :-) -k -- If I haven't seen further, it is by standing in the footprints of giants