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:
[hidden email]]
> 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:
[hidden email]
>
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
>
[hidden email]
>
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_______________________________________________
gobo-eiffel-develop mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop
