darcs

Patch 1811 fix documentation in Darcs.Patch.CommuteFn (and 3 more)

Title fix documentation in Darcs.Patch.CommuteFn (and 3 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2019-06-11.22:42:57 by bf, last changed 2019-06-14.12:09:48 by ganesh.

Files
File name Status Uploaded Type Edit Remove
fix-documentation-in-darcs_patch_commutefn.dpatch bf, 2019-06-11.22:42:57 application/x-darcs-patch
patch-preview.txt bf, 2019-06-11.22:42:57 text/x-darcs-patch
unnamed bf, 2019-06-11.22:42:57 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20736 (view) Author: bf Date: 2019-06-11.22:42:57
4 patches for repository http://darcs.net/screened:

patch ee66ec74d7dde6eb7b49be410a0b863b013ca7ab
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Feb 24 08:33:29 CET 2019
  * fix documentation in Darcs.Patch.CommuteFn
  
  The possibility of failure means that all CommuteFns are more or less
  equally strict: to consume a result sequence we must know that the result is
  Just and that requires all commutes to be performed at least up to the point
  where we know they succeed.

patch b1d6f9ed40f5bb2c1241ef9b4b55faccb85affeb
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Feb 24 09:16:03 CET 2019
  * fix a typo in Commute docs

patch 1f3ffac32fdfd5c14b08398a4153217871bf588f
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Feb 24 09:06:28 CET 2019
  * extend documentation for classes Ident, SignedId, and Invert

patch ba03952a253fc9929d114a1696c9c035e33f81c3
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Feb 26 19:29:52 CET 2019
  * fix confusing error message
Attachments
msg20743 (view) Author: ganesh Date: 2019-06-12.07:13:26
> * fix documentation in Darcs.Patch.CommuteFn

OK (if by "fix" you mean "remove incorrect" :-) )

> * fix a typo in Commute docs

OK

> * extend documentation for classes Ident, SignedId, and Invert

OK

> * fix confusing error message

OK
History
Date User Action Args
2019-06-11 22:42:57bfcreate
2019-06-12 07:13:26ganeshsetmessages: + msg20743
2019-06-12 12:23:30bfsetstatus: needs-screening -> needs-review
2019-06-14 11:29:14ganeshsetstatus: needs-review -> accepted-pending-tests
2019-06-14 12:09:48ganeshsetstatus: accepted-pending-tests -> accepted