[darcs-devel] darcs patch: start gadt stuff (and 8 more)
Jason Dagit
dagit at codersbase.com
Thu Jun 14 15:23:24 PDT 2007
Following Ian's suggestion, we have put away the previous plan for activation
patches. Currently we're moving ahead with cancellations. As part of that
we need a way to store primitive patches which are currently cancelled, this
set of patches implements that storage. The storage is a conflicted patch.
The conflicted patches behave almost identically to the way activation
patches worked. The difference is that conflicted patches always commute
with everything.
Please review/comment/ask questions.
Thanks,
Jason
Tue May 29 18:18:17 PDT 2007 David Roundy <droundy at darcs.net>
* start gadt stuff
Wed May 30 10:01:00 PDT 2007 David Roundy <droundy at darcs.net>
* use more expressive types than tuples
Wed May 30 12:40:23 PDT 2007 David Roundy <droundy at darcs.net>
* clean up ordered data types
Tue Jun 12 13:16:46 PDT 2007 Jason Dagit <dagit at codersbase.com>
* Commute has arguments backwards
Tue Jun 12 16:40:42 PDT 2007 Jason Dagit <dagit at codersbase.com>
* Step 2 of gadts refactor
Tue Jun 12 20:01:37 PDT 2007 David Roundy <droundy at darcs.net>
* make Ordered compile with gadt witnesses.
Tue Jun 12 21:02:31 PDT 2007 David Roundy <droundy at darcs.net>
* make gadt witnesses work with Core.
Thu Jun 14 13:57:38 PDT 2007 Jason Dagit <dagit at codersbase.com>
* Implement Conflicted patches.
Thu Jun 14 14:55:09 PDT 2007 Jason Dagit <dagit at codersbase.com>
* Implement read/show of Conflicted patches.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 177634 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070614/f9ef87e3/attachment-0001.bin
More information about the darcs-devel
mailing list