3 Jun
2003
3 Jun
'03
10:54 a.m.
We had very long compilation times when optimization or profiling was switched on, for a [(String, Int)] list with about 5000 entries.
We worked around the problem by changing the list into a String (escaping doublequotes) and using "read" to convert it to a list.
The big string, however, does not go through hugs: - Maximum token length (4000) exceeded Christian