darcs

Patch 413 witnesses all done\!

Title witnesses all done\!
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2010-10-08.21:41:52 by ganesh, last changed 2011-05-10.18:06:26 by darcswatch. Tracked on DarcsWatch.

Files
File name Status Uploaded Type Edit Remove
get-rid-of-some-joinpatches-calls.dpatch ganesh, 2010-10-08.21:41:52 text/x-darcs-patch
unnamed ganesh, 2010-10-08.21:41:52
See mailing list archives for discussion on individual patches.
Messages
msg12665 (view) Author: ganesh Date: 2010-10-08.21:41:52
Finally, all of darcs including the test harness builds with
witnesses enabled (I did sort of cheat with one module, but it
was the cleanest solution overall).

The various test modules have been a mess for ages and are now
even more of a mess. On the other hand, now that they all
build with witnesses, moving code between them to clean up the
mess should generally be easier.

Also, this puts us in a position to make witnesses always on.
First we need to benchmark the darcs executable to make sure
they don't slow it down. Then we need to remove the CPP and
replace it with some type names that provide a similar indication
that witnesses are in use. Note that until we are in a position
to build the darcs and test executables against the darcs library
directly, we won't get any further benefits in build time from
removing the CPP.

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

Wed Oct  6 07:01:56 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * get rid of some joinPatches calls

Fri Oct  8 17:58:51 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * break Darcs.Test.Patch.Unit up to facilitate witnessing

Fri Oct  8 18:20:52 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * abstract out functions with restricted types

Fri Oct  8 18:23:29 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * add witnesses to Darcs.Test.Patch.Unit2

Fri Oct  8 22:30:14 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * add witnesses to Darcs.Test.Patch.Unit

Fri Oct  8 22:30:20 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * add witnesses to Darcs.Test.Unit

Fri Oct  8 22:30:21 BST 2010  Ganesh Sittampalam <ganesh@earth.li>
  * build test harness with witnesses and drop separate build
Attachments
msg12840 (view) Author: darcswatch Date: 2010-10-27.17:21:12
This patch bundle (with 7 patches) was just applied to the repository http://darcs.net/.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-1abe4f89603519646c6d832bc25c7b3234440b4f
msg14098 (view) Author: darcswatch Date: 2011-05-10.18:06:26
This patch bundle (with 7 patches) was just applied to the repository http://darcs.net/reviewed.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_reviewed.html#bundle-1abe4f89603519646c6d832bc25c7b3234440b4f
History
Date User Action Args
2010-10-08 21:41:53ganeshcreate
2010-10-08 21:43:15darcswatchsetdarcswatchurl: http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-1abe4f89603519646c6d832bc25c7b3234440b4f
2010-10-09 20:07:23ganeshsetstatus: needs-screening -> needs-review
2010-10-27 17:21:12darcswatchsetstatus: needs-review -> accepted
messages: + msg12840
2011-05-10 18:06:26darcswatchsetmessages: + msg14098