On 27/04/2018 12:29, Remi Forax wrote:
I think that having a readString that includes OS dependent line separators is
a mistake,
Java does a great job to try to shield the developer from the kind of things
that makes programs behave differently on different platforms.
readString should subtitute (\r)?\n to \n otherwise either people will do a
call replace() which is less efficient or will learn the lesson the hard way.
raw string literal does the same substitution for the same reason.
Yes, there are several discussion points around this and somewhat timely
with multi-string support.
One thing that I think Joe will need in this API is some note to make it
clearer what the intended usage is (as I think the intention is simple
cases with mostly single lines of text).
-Alan.
