Make lines stricter to fix a space leak

Daniel Fischer at
Fri Sep 24 15:21:19 EDT 2010

Proposal: A stricter implementation of lines.

Reason: The current implementation causes a space leak (cf., at least in GHC.

The proposed implementation fixes the leak at the small cost of being 
stricter if the first _|_ in the String is the first character of a line.

Discussion period: Three weeks, until 15th October (because of ICFP).



More information about the Libraries mailing list