The case in question was modified last in this patch:
Sat Aug 23 11:09:47 PDT 2008 David Roundy <droundy@darcs.net>
* eliminate fix_flag.
Judging by the contents of that patch, that case was originally
handling an empty name, but the current version matches any name and
is thus buggy.
By the time we get here the head of [DarcsFlag] is never Context so no
users have been able to stumble on it (yet). Also, our test suite can
catch it, but let's do one better and just remove the unnecessary
case.
Thanks,
Jason
1 patch for repository http://darcs.net:
Sun Aug 22 05:26:59 PDT 2010 Jason Dagit <dagit@codersbase.com>
* Changes.lhs: remove extra (and weird) case
Digging deeper into this, the extra case was there from the very
beginning, when David introduced the context flag "add --context option
to changes and get." And just returning () doesn't sound right anyway,
so applied thanks!