>>>>> "Jamie" == Jamie Webb <[EMAIL PROTECTED]> writes:
Jamie> e.g. we can always insert new lines rather than adding
Jamie> characters to existing ones, perhaps like this:
Recognizing a line requires recognizing a newline, which requires
recognizing a character.
Eventually you have to put constraints on what Darcs considers to be
text. I would recommend "UTF-8-compatible and not declared binary" as
a reasonable heuristic for most purposes, with "UTF-8-compatible and
declared text" as the bullet-proof alternative, and "declared unibyte
text with newline = LF" as a reasonable backward compatibility
compromise (note that this is fairly safe for Windows since you can
think of CR as a nuisance whitespace character, although
darcs-inserted newlines without CR would probably confuse most Windows
editors).
--
School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Ask not how you can "do" free software business;
ask what your business can "do for" free software.
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
