Re: [review] comment and expected deferred status of KI_BUFFER.item

Can you send me some details on the failure? I tried on our code and I don't have
any trouble when I make them deferred. Note that making them deferred forced me to
change KI_CHARACTER_BUFFER to remove the undefinition of `put' and `item'.

Manu

> -----Original Message-----
> From: Eric Bezault [mailto:[email protected]]
> Sent: Wednesday, January 28, 2009 5:09 AM
> To: Jocelyn
> Cc: gobodev
> Subject: Re: [gobo-eiffel-develop] [review] comment and expected deferred
> status of KI_BUFFER.item
> 
> 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:[email protected]
> http://www.gobosoft.com
> 
> -------------------------------------------------------------------------
> -----
> This SF.net email is sponsored by:
> SourcForge Community
> SourceForge wants to tell your story.
> http://p.sf.net/sfu/sf-spreadtheword
> _______________________________________________
> gobo-eiffel-develop mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop


------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword