From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Textedit and txt
Date: Thu, 07 May 2015 22:48:33 +0100
Organization: A noiseless patient Spider
Message-ID: <lyegmsys7i.fsf@pushface.org>
References: <47c7df1e-17c1-44cb-a455-43431f0d39cd@googlegroups.com>
	<85zj5wb9et.fsf@stephe-leake.org>
	<4b14659e-8c26-4c0a-8945-a5289740e054@googlegroups.com>
	<e22e7ff6-d970-4116-924d-d01e9abc203c@googlegroups.com>
	<f2449f16-4901-4b85-86d3-79b8235ad4ec@googlegroups.com>
	<51c639dd-a48c-4130-becd-750cb23094da@googlegroups.com>
	<mie0on$39l$1@loke.gir.dk>
	<35aabdcd-6064-4999-9cdf-d143b0593a31@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="1d9954c1724cfc8838c424c9c295bd19";
	logging-data="8649"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/dJTXBzCC1VDVjhX9KzsiRzSZ8LsuTGtk="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:uV2oAZ4f0oflnZZJnEq5VbqNKDs=
	sha1:vb6t1E0CZ1ADXZomz3PocqCeaZI=
Xref: news.eternal-september.org comp.lang.ada:25769
Date: 2015-05-07T22:48:33+01:00
List-Id: <comp.lang.ada>

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)