darcs

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

Bug Tracker Home

Issues
Show Unassigned
 Show All
Search Issues

Patches
Show Open
 Show All
Search Patches

Login




Register
Lost your login?

Help
Roundup docs

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

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

Files
File name Status Uploaded Type Edit Remove
improve-documentation-in-darcs_ui_defaults.dpatch bfrk, 2020-06-30.09:36:25 application/x-darcs-patch
patch-preview.txt bfrk, 2020-06-30.09:36:25 text/x-darcs-patch
unnamed bfrk, 2020-06-30.09:36:25 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22121 (view) Author: bfrk 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
Attachments
msg22191 (view) Author: ganesh Date: 2020-07-19.11:18:51 
All OK.
History
Date User Action Args
2020-06-30 09:36:26bfrkcreate
2020-06-30 09:37:24bfrksetstatus: 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