[darcs-users] [patch106] resolve issue1208: trackdown --bisect (complete branch...

Ganesh Sittampalam ganesh at earth.li
Tue Mar 9 21:59:25 UTC 2010


On Sun, 7 Mar 2010, Radoslav Dorcik wrote:

> Anyway I would like to start with GADTs on PatchTree.
> Any suggestions/review comments?

GADTs aren't well documented, unfortunately. There's some old stuff here: 
http://wiki.darcs.net/Ideas/GADTPlan

and other than that look in the source of Darcs.Witnesses.Ordered to get 
an idea of how the contexts are threaded around.

I'll try to review what you've done so far within the next few days.

Cheers,

Ganesh


More information about the darcs-users mailing list