This seems fairly reasonable, the assumption I'm going on here that
printing Doc's on screen does what we want wrt displaying non-printable
chars to UI.
Only technical comment I would add is that if we're going to use Doc's
we might as well use the nice little functions like <> to build them up.
Anyway, not a big deal. I think we should sweep up all our user text and
put it into Darcs.UI.Message anyway, or something like that.
nand: for the future, I think it's better to stick to plain old ASCII in
the log messages (no fancy Unicode quotes, as much as I prefer them
personally) and keep the messages short.
|