[darcs-users] [patch185] Some haddocks for Patch.Choices (and 16 more)
Florent Becker
bugs at darcs.net
Thu Apr 22 14:53:51 UTC 2010
Florent Becker <florent.becker at ens-lyon.org> added the comment:
The last patch makes ghc 6.12 complain about deprecated syntax. We can either live with that, or have witnesses only build in 6.12, and non-witnesses building on both using
#ifndef GADT_WITNESSES
data PatchChoices p = {firsts :: FL (TaggedPatch p), …
#else
PatchChoices p C(x y) where
PCs :: { firsts :: FL (TaggedPatch p) C(x m)
, lasts :: FL (PatchChoice p) C(m y)} -> PatchChoices p C(x y)
#endif
I'm not sure what's best.
17 patches for repository http://darcs.net:
Fri Nov 20 22:24:10 CET 2009 Florent Becker <florent.becker at ens-lyon.org>
* Some haddocks for Patch.Choices
Thu Feb 18 17:45:16 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* add a witnessed zipper type
Mon Feb 15 16:13:11 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Refactor Darcs.Commands.Pull
Fri Mar 19 14:31:33 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Resolve conflicts in Commands.Pull
Thu Apr 22 13:34:03 CEST 2010 Florent Becker <florent.becker at ens-lyon.org>
* export the right list of patches when not pulling anything
Wed Feb 17 16:05:22 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Simplify SelectChanges' interface and non-interactive part
Fri Mar 19 14:59:13 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* resolve conflicts in AmendRecord.lhs
Thu Feb 18 11:55:00 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* add the --reverse option to all patch-selecting commands
Fri Mar 19 15:30:05 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Resolve conflicts in Record.lhs
Thu Feb 18 17:45:20 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* monadify interactive patch selection
Fri Mar 19 15:37:38 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* resolve conflicts in SelectChanges
Wed Mar 17 15:10:11 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Change representation of PatchChoices
Fri Mar 19 15:46:52 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* fix conflicts in SelectChanges
Fri Mar 19 16:11:42 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* fix patch counting in interactive selection
Sat Mar 20 08:35:39 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Clean up the new version of Patch.Choices
Sat Mar 20 14:52:43 CET 2010 Florent Becker <florent.becker at ens-lyon.org>
* Fix representation of patches in darcs revert's interactive selection
Thu Apr 22 15:27:42 CEST 2010 Florent Becker <florent.becker at ens-lyon.org>
* make the new Patch.Choices compile in ghc6.10
----------
title: add a witnessed zipper type (and 13 more) -> Some haddocks for Patch.Choices (and 16 more)
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch185>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: some-haddocks-for-patch_choices.dpatch
Type: text/x-darcs-patch
Size: 279044 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100422/149aa302/attachment-0001.bin>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: unnamed
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100422/149aa302/attachment-0001.diff>
More information about the darcs-users
mailing list