liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Infix "*" in ABSTRACT_STRING


From: Raphael Mack
Subject: Re: Infix "*" in ABSTRACT_STRING
Date: Thu, 28 Dec 2023 21:20:41 +0100
User-agent: Evolution 3.46.4-2

Am Donnerstag, dem 28.12.2023 um 07:45 +0100 schrieb Paolo Redaelli:
> Is there a particolar reason why we do not have an infix "*" (n:
> INTEGER) query in ABSTRACT_STRING to allow code like
> 
> "Ho "*3+"! Merry Christmas" ~ "Ho Ho Ho! Merry Christmas" 

Mh, Wouldn't that give us "Ho Ho Ho ! Merry Christmas" - I. e. with the
usual "additional space at the end"-problem?

Jokes apart, I guess it is there since a very long time and I would
vote for keeping it to keep backward compatibility, as long as none has
issues with it. - I guess you checked ECMA and ISE and both don't have
this "beautiful" feature, right?

Regards,
Rapha



reply via email to

[Prev in Thread] Current Thread [Next in Thread]