[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