liberty-eiffel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Infix "*" in ABSTRACT_STRING

From: Paolo Redaelli
Subject: Infix "*" in ABSTRACT_STRING
Date: Thu, 28 Dec 2023 07:45:27 +0100
User-agent: K-9 Mail for Android
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"
?
--
Inviato dal mio dispositivo Android con K-9 Mail. Perdonate la brevità.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]