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

[David Roundy]

Here's the next installment of the gradual march towards type
witnesses.

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.

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