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

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

Eric Bezault wrote:
> 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'.

Bad move. I had to learn the hard way that the bug is still there in
EiffelStudio 6.2 (and I didn't check for earlier versions): some of
my colleagues at work complained that the generated C code of their
finalized applications did not compile anymore after I made the change.

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