Re: darcs patch: Add proximal lookup functions in Map (and 2 more)

On 5/22/07, Adam Langley wrote:

On 5/22/07, Ross Paterson wrote:

...

nearest needs Num, but the other two shouldn't.

That's a great point, I hadn't thought about that. I don't know if people usually send a correction patch, or remake the patch but I've done the former:

I can't speak for the protocol of this libraries list, but in darcs-devel people usually use 'amend-record' when the changes are small (like correcting a typo). Jason