On Sat, 16 Dec 2006, David Roundy wrote:
Pending handling is definitely the place where I'm most thoroughly wishing for the GADT type witnesses to verify correctness.
Now that both the "old" and "new" GHCs support them, would it be feasible to switch?
Ganesh _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
