darcs

Patch 1864 V3 integration comment about fromPrim de... (and 2 more)

Title V3 integration comment about fromPrim de... (and 2 more)
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2019-08-09.16:36:35 by ganesh, last changed 2019-08-10.16:57:23 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt ganesh, 2019-08-09.16:36:35 text/x-darcs-patch
unnamed ganesh, 2019-08-09.16:36:35 text/plain
v3-integration-comment-about-fromprim-default.dpatch ganesh, 2019-08-09.16:36:35 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg21066 (view) Author: ganesh Date: 2019-08-09.16:36:35
add some V3INTEGRATION comments
These are all things I'd like to at least think about again
before V3 goes live.

I'll leave it a few days before pushing these to screened/reviewed
to reduce churn if the descriptions aren't ok

3 patches for repository darcs-unstable@darcs.net:screened:

patch 1bfeb0e6c747e8883d3ff8c27285616b4d8e9713
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Wed Aug  7 17:56:18 BST 2019
  * V3 integration comment about fromPrim default

patch 31672d2d07dee3d0f755e7cf16b8743473f1075b
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Wed Aug  7 17:57:46 BST 2019
  * add V3INTEGRATION TODO to the comment on forceCommutePrim

patch 2c9d5fc63f460d46b701415e151833a28927d8da
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Fri Aug  9 16:35:35 BST 2019
  * add V3INTEGRATION comments about the NamedPrim representation
Attachments
msg21070 (view) Author: bf Date: 2019-08-10.10:34:36
> I'll leave it a few days before pushing these to screened/reviewed
> to reduce churn if the descriptions aren't ok

Thanks. As far as I can see the descriptions are all correct and
well-written.
History
Date User Action Args
2019-08-09 16:36:35ganeshcreate
2019-08-10 10:34:36bfsetmessages: + msg21070
2019-08-10 15:35:25ganeshsetstatus: needs-screening -> accepted-pending-tests
2019-08-10 16:57:23ganeshsetstatus: accepted-pending-tests -> accepted