darcs

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

Bug Tracker Home

Issues
Show Unassigned
 Show All
Search Issues

Patches
Show Open
 Show All
Search Patches

Login




Register
Lost your login?

Help
Roundup docs

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: bfrk 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:36bfrksetmessages: + msg21070
2019-08-10 15:35:25ganeshsetstatus: needs-screening -> accepted-pending-tests
2019-08-10 16:57:23ganeshsetstatus: accepted-pending-tests -> accepted