[darcs-devel] [patch1178] Darcs.Repository.Flags: added Eq instanc... (and 4 more)
Ben Franksen
bugs at darcs.net
Fri Jul 4 10:45:19 UTC 2014
New submission from Ben Franksen <benjamin.franksen at helmholtz-berlin.de>:
5 patches for repository http://darcs.net/screened:
Fri Jun 13 11:31:30 CEST 2014 Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
* Darcs.Repository.Flags: added Eq instance for UseIndex
Sun Jun 29 13:23:23 CEST 2014 Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
* Darcs.Repository.Flags: added Show instances for all types
Mon Jun 30 01:54:43 CEST 2014 Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
* replaced duplicate DiffAlgorithm in Darcs.Repository.Flags with re-export
Mon Jun 30 01:47:27 CEST 2014 Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
* added the re-designed options system, not yet used anywhere
Mon Jun 30 02:14:09 CEST 2014 Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
* integrate new options subsystem
The conversion is complete in the sense that the old Darcs.UI.Arguments is
now obsolete and can be removed. Command options are specified using the new
"typed" DarcsOption type from Darcs.UI.Options. All available tests succeed.
However, it is incomplete in the sense that there are still many places
where the list of DarcsFlag is scanned or manipulated directly. Removing
these direct accesses will be an on-going effort; when it is complete we can
replace [DarcsFlag] with an abstract data type.
This patch contains an almost complete re-implementation of
Darcs.UI.ArgumentDefaults under the new name Darcs.UI.Defaults. This adds a
new dependency on regex-applicative, see the comments in the code.
I have also made the tentative change of using a command specific
configuration record for two of the commands, namely "record" and "amend".
It remains to be seen whether this is the right approach and the other
commands should follow it.
----------
files: darcs_repository_flags_-added-eq-instance-for-useindex.dpatch, patch-preview.txt, unnamed
messages: 17590
nosy: bf
status: needs-screening
title: Darcs.Repository.Flags: added Eq instanc... (and 4 more)
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1178>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 570289 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140704/cd1e5dcb/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: darcs_repository_flags_-added-eq-instance-for-useindex.dpatch
Type: application/x-darcs-patch
Size: 585270 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140704/cd1e5dcb/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140704/cd1e5dcb/attachment-0001.obj>
More information about the darcs-devel
mailing list