Patch 2331 improve some details regarding Commute laws (and 1 more)

Title improve some details regarding Commute laws (and 1 more)
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To

Created on 2023-07-11.07:02:15 by bfrk, last changed 2023-07-12.01:07:41 by ganesh.

File name Status Uploaded Type Edit Remove
improve-some-details-regarding-commute-laws.dpatch bfrk, 2023-07-11.07:02:13 application/x-darcs-patch
patch-preview.txt bfrk, 2023-07-11.07:02:13 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg23534 (view) Author: bfrk Date: 2023-07-11.07:02:13
Will probably self-accept (haddocks only).

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

patch e86aa51f754e15f9f3e57b0bc241887c437ac244
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jun 26 13:20:06 CEST 2023
  * improve some details regarding Commute laws

  This includes a re-wording wrt the square-commute law and some re-formatting
  of the haddocks.

patch c1c1673b6e6505bad519728a3a2adc4daff23f83
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jun 26 13:25:37 CEST 2023
  * proper haddock formatting in Darcs.Patch.CommuteNoConflicts

  The motivation for single-quoting the operators wasn't so much to hyperlink
  them. Rather, this seems to be the only way to suppress interpretation of
  backslashes as haddock escape characters when they are part of an operator
  you want to use "inline" i.e. embedded in the normal text flow.
Date User Action Args
2023-07-11 07:02:15bfrkcreate
2023-07-11 07:49:25bfrksetstatus: needs-screening -> accepted-pending-tests
2023-07-12 01:07:41ganeshsetstatus: accepted-pending-tests -> accepted