6 Mar
2010
6 Mar
'10
4:40 p.m.
Joachim Breitner
In the case of highlighting-kate, there were really issues with the code: A huge list of words which ghc seemed to try to inline caused it consuming a lot of memory.
This is a known problem; so much so that John is writing a new library illuminate [1] to replace it. [1] http://github.com/jgm/illuminate -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com