On Tue, Aug 19, 2008 at 04:49:26PM -0700, Jason Dagit wrote: > David, > > This fixes the bug you found today in amend-record. It seems that the > type signature we wanted for with_selected_patch_from_repository is > not going to work, but this one, that I inferred from the old code > should keep things sailing along nicely although I means I need to > amend some patches. > > Jason > > Tue Aug 19 16:33:48 PDT 2008 Jason Dagit <[EMAIL PROTECTED]> > * Fix a bug with incorrectly specified with_selecte_patch_from_repository.
Applied, thanks! And then I went on to fix the type witnesses--which were still wrong. As you should be able to verify, my changes didn't affect the commutation at all, they just eliminate the use of unsafeCoerceP. I notice that this function is now only used in AmendRecord, and as a result we could simplify it further. It used to be used in obliterate, unrecord, etc, but those commands now allow the user to select several patches at once (rather than just one, as with_selecte_patch_from_repository does), and thus don't use this. So we can get rid of one of the two outputs, which will make things even simpler... but I haven't done this. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
