|
From: Bardur A. <sp...@sc...> - 2006-07-24 07:11:19
|
Bardur Arantsson wrote:
> Bardur Arantsson wrote:
>> Hi all,
>>
>> Doing an
>>
>> ExtList.remove [1;2;3] 7
>>
>> raises Not_found even though the interface doc says that it shouldn't.
>> For consistency with both ExtList.remove_if and ExtList.remove_assoc no
>> exception should be raised in this case.
>>
>> I can't seem to get in touch with SourceForge CVS right now, so I can't
>> commit a fix, but I've attached the (trivial) patch to this message. I
>> will commit this once SourceForge CVS comes up.
>>
>> Cheers,
>>
>
> ... and of course I forget the attachment. I will commit tomorrow unless
> there are any objections.
>
Committed.
--
Bardur Arantsson
<bar...@TH...>
- God is dead.
Friedrich Nietzsche
|