darcs

Patch 2078 fix haddock error in Darcs.UI.PatchHeader

Title fix haddock error in Darcs.UI.PatchHeader
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-07-31.08:58:31 by ganesh, last changed 2020-07-31.19:42:53 by bf.

Files
File name Status Uploaded Type Edit Remove
fix-haddock-error-in-darcs_ui_patchheader.dpatch ganesh, 2020-07-31.08:58:31 application/x-darcs-patch
patch-preview.txt ganesh, 2020-07-31.08:58:31 text/x-darcs-patch
unnamed ganesh, 2020-07-31.08:58:31 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22321 (view) Author: ganesh Date: 2020-07-31.08:58:31
I introduced this haddock error in March with
"change interface to updatePatchHeader"
(24983602d1a07331e9ced882210c8671bb7292df)

It's not currently legal to document parameters with
-- | before the parameter, you have to use -- ^ after
the parameter.

1 patch for repository darcs-unstable@darcs.net:screened:

patch 40d0c7742470b794af8d493c16b7e9a3c4c6b044
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Fri Jul 31 10:04:58 BST 2020
  * fix haddock error in Darcs.UI.PatchHeader
Attachments
msg22322 (view) Author: ganesh Date: 2020-07-31.09:04:25
Self-accepting as trivial
History
Date User Action Args
2020-07-31 08:58:32ganeshcreate
2020-07-31 09:04:25ganeshsetstatus: needs-screening -> accepted-pending-tests
messages: + msg22322
2020-07-31 19:42:53bfsetstatus: accepted-pending-tests -> accepted