Re: [gobo-eiffel-develop] [review] comment and expected deferred status of KI_BUFFER.item

[Eric B. <er...@go...>]

Eric Bezault wrote:
> Jocelyn wrote:
>> The feature KI_BUFFER.item has a comment which seems quite obsolete.
>>
>>     item (i: INTEGER): G is
>>             -- Item at position `i'
>>         require
>>             i_large_enough: i >= 1
>>             i_small_enough: i <= count
>>         do
>>                 -- TODO: This routine should be deferred, but there is
>>                 -- a bug with ISE Eiffel 5.1.5 and 5.2 in the generated
>>                 -- C code in finalized mode, and having this
>>                 -- routine effective is a workaround.
>>         end
>>
>> I think, it is now safe to remove this TODO comment, and make this
>> feature deferred
>> especially since the very old ISE Eiffel 5.1 and 5.2 are not supported
>> anymore in Gobo's code
> 
> But is the bug still "supported" in ISE Eiffel 6.2? ;-)
> I'll make the change and we'll see.

The workaround has now been removed both in `item' and `put'.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com