[darcs-users] darcs patch: change the type of gcau to reflect its b... (and 10 more)

Ganesh Sittampalam ganesh at earth.li
Sun Sep 27 14:50:27 UTC 2009


On Thu, 17 Sep 2009, Petr Rockai wrote:

> I'm running out of time, I'll look at the rest later (hopefully 
> tomorrow, or over the weekend).
>> [add witnesses to Darcs.Commands.Diff
>> [add witnesses to Darcs.Commands.Remove
>> [add witnesses to Darcs.Commands.TrackDown
>> [add witnesses to Darcs.Commands.Pull
>> [add witnesses to Darcs.Commands.Apply
>> [add witnesses to Darcs.Commands.Push
>> [need RankNTypes for some of the newly witnessed modules
>> [add newly-witnessed modules to witnesses.hs

Could someone look at these patches soon please? I think they're quite 
simple but not having them applied is a bit of a pain for other work I 
want to submit.

Cheers,

Ganesh


More information about the darcs-users mailing list