Re: Infix "*" in ABSTRACT_STRING

[Paolo Redaelli]

Il 31/12/23 11:37, Paolo Redaelli ha scritto:

....

Name it repeated infix "*" alias "×"


    ....
> Does
>       "repeated" query really belongs here? 
>

No, it is not an INDEXABLE feature, for the simple reason that an indexable does not have command to alter its contents, i.e you can't write

class INDEXABLE[ITEM_]

....

      repeated (n: INTEGER): like Current
            -- A
         local i: INTEGER
         do
            from i:=n; Result:=twin
            until i>0
            loop
               Result.append_collection(Current)
               i:=i-1
            end
         end

It must go in a class that allows changes to Current, i.e. COLLECTION. Or STRING.

Well, too much rants for last day of the year. I shall finish those manpages....

Happy new/GNU year!