Re: Textedit and txt

[Simon Wright <simon@pushface.org>]

Laurent <daemon2@internet.lu> writes:

>    function "+" (Right : String) return V_String.Bounded_String
>    ^----- error
>    renames
>      V_String.To_Bounded_String;

That's because

   function To_Bounded_String (Source : in String;
                               Drop   : in Truncation := Error)
            return Bounded_String;

so you need to do something about Drop.

Unbounded_String wouldn't give you this problem.

I suppose you could write

   function "+" (Right : String) return V_String.Bounded_String
     is (V_String.To_Bounded_String (Right));

(untested)