[darcs-devel] darcs patch: start gadt stuff (and 29 more)

[David Roundy]

Hi Eric,

This is a rather massive set of patches, which brings you up
to our current state of gadt-integration.  It also defines the
Conflicted patch type, but doesn't create it, so this should
be safe.

David

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.

Wed Jun 13 13:36:23 PDT 2007  David Roundy <droundy at darcs.net>
  * improve type of commute_to_end

Wed Jun 13 14:15:10 PDT 2007  David Roundy <droundy at darcs.net>
  * gadtize Show

Wed Jun 13 17:14:25 PDT 2007  David Roundy <droundy at darcs.net>
  * gadtize (File/Dir)PatchType

Wed Jun 13 17:44:07 PDT 2007  David Roundy <droundy at darcs.net>
  * export MyEq class

Wed Jun 13 18:19:16 PDT 2007  David Roundy <droundy at darcs.net>
  * fix bug in context of :<

Thu Jun 14 14:24:56 PDT 2007  David Roundy <droundy at darcs.net>
  * make EqCheck derive Show.

Thu Jun 14 16:54:40 PDT 2007  David Roundy <droundy at darcs.net>
  * convert Commute to gadts.

Thu Jun 14 17:28:30 PDT 2007  David Roundy <droundy at darcs.net>
  * cannot derive instances for gadts.

Thu Jun 14 17:45:52 PDT 2007  David Roundy <droundy at darcs.net>
  * make Commute work again with witnesses.

Thu Jun 14 17:51:40 PDT 2007  David Roundy <droundy at darcs.net>
  * test gadt witnesses a bit

Thu Jun 14 18:19:57 PDT 2007  David Roundy <droundy at darcs.net>
  * fix gadts in Viewing

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.

Thu Jun 14 16:02:16 PDT 2007  Jason Dagit <dagit at codersbase.com>
  * fixed conflicts

Thu Jun 14 17:25:03 PDT 2007  Jason Dagit <dagit at codersbase.com>
  * added filterE

Thu Jun 14 17:37:33 PDT 2007  Jason Dagit <dagit at codersbase.com>
  * fixed conflict

Thu Jun 14 17:37:57 PDT 2007  Jason Dagit <dagit at codersbase.com>
  * conflicted commute now uses filterE

Thu Jun 14 18:30:22 PDT 2007  Jason Dagit <dagit at codersbase.com>
  * Changed Patch to GADTs notation

Fri Jun 15 08:28:47 PDT 2007  David Roundy <droundy at darcs.net>
  * when using type witnesses, always compile with -fglasgow-exts.

Fri Jun 15 08:30:19 PDT 2007  David Roundy <droundy at darcs.net>
  * fix type signature of ||| in Commute.lhs.

Fri Jun 15 12:47:04 PDT 2007  David Roundy <droundy at darcs.net>
  * fix Jason's code to work with gadts.

Fri Jun 15 13:47:31 PDT 2007  David Roundy <droundy at darcs.net>
  * Make Read work with gadts.

Fri Jun 15 14:46:13 PDT 2007  David Roundy <droundy at darcs.net>
  * Make all of Patch work with gadts.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 296399 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070615/d778fc5c/attachment-0001.bin