Ganesh Sittampalam <[email protected]> added the comment: I've fixed the witnesses and pushed without further review, as (a) it was quite simple and obvious, and (b) the whole point of witnesses is that the type checker does the work for us :-)
I think the type error was fairly self-explanatory once you look at the types of the inputs to prePushChatter, which are themselves generated by get_command_and_uncommon. I just had to change the witness types in prePushChatter to match up with that appropriately. In theory prePushChatter could have a more general type than I gave it, but there seems no point. __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch118> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
