Re: [gobo-eiffel-develop] Handling end of line stuff.

[Christian C. <chc...@cl...>]

Christian Couder wrote :
>=20
> Eric Bezault a =E9crit :
> >
> > Christian Couder wrote:
> > >
> > > It's also much shorter to type " + eol" than "io.put_new_line" on a=
 new
> > > line or something like this.
> >
> > But it creates an extra string object at run-time.
>=20
> If eol is a once string then it's created only once in each program.

Replying to myself, sorry, I didn't understand that you were talking
about the string created by the +.
Yes it is slower to use a +, but if you really want speed you can always
use

put_string("Hello world !")
put_string(eol)

or define your own put_line feature doing just this :-)

Regards,
Christian.