Patch 2078: fix haddock error in Darcs.UI.PatchHeader - Darcs bug tracker

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 bfrk.

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 fix-haddock-error-in-darcs_ui_patchheader.dpatch patch-preview.txt unnamed
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:32	ganesh	create
2020-07-31 09:04:25	ganesh	set	status: needs-screening -> accepted-pending-tests messages: + msg22322
2020-07-31 19:42:53	bfrk	set	status: accepted-pending-tests -> accepted