Patch 2039 improve documentation in Darcs.UI.Defaults (and 2 more)

Title improve documentation in Darcs.UI.Defaults (and 2 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2020-06-30.09:36:26 by bf, last changed 2020-07-19.20:14:32 by ganesh.

File name Status Uploaded Type Edit Remove
improve-documentation-in-darcs_ui_defaults.dpatch bf, 2020-06-30.09:36:25 application/x-darcs-patch
patch-preview.txt bf, 2020-06-30.09:36:25 text/x-darcs-patch
unnamed bf, 2020-06-30.09:36:25 text/plain
See mailing list archives for discussion on individual patches.
msg22121 (view) Author: bf Date: 2020-06-30.09:36:25
A few cleanups following up on patch2038.

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

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

patch 8d58665234f02c338c35e1f8d703ff1a261b84c3
Author: Ben Franksen <ben.franksen@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@online.de>
Date:   Wed Jun 24 15:30:38 CEST 2020
  * move the Config type synonym from D.UI.Flags to D.UI.Options
msg22191 (view) Author: ganesh Date: 2020-07-19.11:18:51
All OK.
Date User Action Args
2020-06-30 09:36:26bfcreate
2020-06-30 09:37:24bfsetstatus: needs-screening -> needs-review
2020-07-19 11:18:51ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg22191
2020-07-19 20:14:32ganeshsetstatus: accepted-pending-tests -> accepted