darcs

Patch 2410 add a comment about why we have NoMonoLocalBinds etc

Title add a comment about why we have NoMonoLocalBinds etc
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2024-06-08.16:54:08 by ganesh, last changed 2024-06-15.08:19:57 by ganesh.

Files
File name Status Uploaded Type Edit Remove
add-a-comment-about-why-we-have-nomonolocalbinds-etc.dpatch dead ganesh, 2024-06-08.16:54:06 application/x-darcs-patch
add-a-comment-about-why-we-have-nomonolocalbinds-etc.dpatch ganesh, 2024-06-08.16:56:07 application/x-darcs-patch
patch-preview.txt dead ganesh, 2024-06-08.16:54:05 text/x-darcs-patch
patch-preview.txt ganesh, 2024-06-08.16:56:07 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg23985 (view) Author: ganesh Date: 2024-06-08.16:54:06
sending this separately to patch2409 to screen immediately,
as it's hopefully not controversial

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

patch 46b00d57a68659014ccb72c4702da3fc501a5a65
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Fri Jun  7 09:00:16 BST 2024
  * add a comment about why we have NoMonoLocalBinds etc
Attachments
msg23986 (view) Author: ganesh Date: 2024-06-08.16:56:07
fixed a typo
1 patch for repository darcs-unstable@darcs.net:/opt/darcs/screened:

patch 54c80385eef06a0fc9c4e28fb4ff231d810d01bb
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat Jun  8 17:54:26 BST 2024
  * add a comment about why we have NoMonoLocalBinds etc
Attachments
msg23997 (view) Author: bfrk Date: 2024-06-11.18:42:28
Good idea.
History
Date User Action Args
2024-06-08 16:54:08ganeshcreate
2024-06-08 16:56:07ganeshsetfiles: + patch-preview.txt, add-a-comment-about-why-we-have-nomonolocalbinds-etc.dpatch
messages: + msg23986
2024-06-08 16:59:35ganeshsetstatus: needs-screening -> needs-review
2024-06-11 18:42:28bfrksetstatus: needs-review -> accepted-pending-tests
messages: + msg23997
2024-06-15 08:19:57ganeshsetstatus: accepted-pending-tests -> accepted