[darcs-devel] [patch2039] improve documentation in Darcs.UI.Defaults (and 2 more)

[Ben Franksen]

New submission from Ben Franksen <ben.franksen at online.de>:

A few cleanups following up on patch2038.

3 patches for repository http://darcs.net/screened:

patch 9453b735125ba02873f875aaaf697025dc096b61
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Jun 24 15:09:58 CEST 2020
  * improve documentation in Darcs.UI.Defaults

patch 8d58665234f02c338c35e1f8d703ff1a261b84c3
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Jun 24 15:28:24 CEST 2020
  * factor out unparseOpt from withNewRepo
  
  The new function unparseOpt provides a generic way to 'artificially' add
  options to a command invocation.

patch 88ad3d42cc7d2b25fcb035e529c834ad6b9d23fa
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Jun 24 15:30:38 CEST 2020
  * move the Config type synonym from D.UI.Flags to D.UI.Options

----------
files: improve-documentation-in-darcs_ui_defaults.dpatch, patch-preview.txt, unnamed
messages: 22121
nosy: bf
status: needs-screening
title: improve documentation in Darcs.UI.Defaults (and 2 more)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2039>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 2937 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200630/4c1aff1d/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: improve-documentation-in-darcs_ui_defaults.dpatch
Type: application/x-darcs-patch
Size: 31080 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200630/4c1aff1d/attachment-0003.bin>
-------------- next part --------------
.