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

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

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.

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