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

[David Roundy]

Hi all,

Here's a start to adding gadt type witnesses into the code.  The
theory is that it should be identical to our existing code, unless
you configure --with-type-witnesses.  Although tuples become data
types, which is helpful anyhow.

This could use a code review, but shouldn't be too tricky, as the
structure of the code is unchanged, just the types.

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

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