By the way, Andrés also mentioned that his OS was Ubuntu 9.10 and the
output of 'locale charmap' was "UTF-8".
On my machine, when I try to record a patch with the same author and
name, I get:
===
$ darcs init
$ darcs record -A "Andrés Sicard-Ramírez" -m "Added x∷xs≈x∷ys→xs≈ys."
No changes!
$ touch blaat && darcs add blaat
$ darcs record -A "Andrés Sicard-Ramírez" -m "Added x∷xs≈x∷ys→xs≈ys."
addfile ./blaat
Shall I record this change? (1/1) [ynW...], or ? for more options: y
Finished recording patch 'Added x7xsHx7ys�xsHys.'
$ darcs changes
Sun Nov 7 14:08:53 CET 2010 Andr<U+00E9>s Sicard-Ram<U+00ED>rez
* Added x<U+2237>xs<U+2248>x<U+2237>ys<U+2192>xs<U+2248>ys.
reinier@adim:/tmp/test$ darcs changes --xml
<changelog>
<patch author='Andrés Sicard-Ramírez' date='20101107130853'
local_date='Sun Nov 7 14:08:53 CET 2010' inverted='False'
hash='20101107130853-6128e-70ed61c5add7edc51ba0412ba9a665b88dc340b7.gz'>
<name>Added x∷xs≈x∷ys→xs≈ys.</name>
<comment>Ignore-this: 5839805b5a10bcfd070b235588e2c641</comment>
</patch>
</changelog>
$ locale charmap
UTF-8
$ darcs --version
2.5 (release)
===
We can see darcs changes behaves as intended (which is not optimal, but
at least reflects that darcs knows what it's doing internally). So I
can't reproduce Andrés's problem. But in the "Finished recording patch"
message, we see the same wrong version of the patch name that the
reporter sees when he does 'darcs changes'. I'll investigate that further.
|