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: Fri, 08 May 2015 06:50:28 +0100
Organization: A noiseless patient Spider
Message-ID: <lya8xfzkgr.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>
	<lyegmsys7i.fsf@pushface.org>
	<a6baaf7b-c706-4d52-b483-1bf7f622898d@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="1d9954c1724cfc8838c424c9c295bd19";
	logging-data="25640"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19Chkd+zMiVYLMKJvyAS09OBpg3KVkSPDA="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:tWCBzHLuCgYmng2AKH2K3cDPk2k=
	sha1:ZfGenWmi/OxNIzgEZYYsIiaZ3Rk=
Xref: news.eternal-september.org comp.lang.ada:25771
Date: 2015-05-08T06:50:28+01:00
List-Id: <comp.lang.ada>

Laurent <daemon2@internet.lu> writes:

> On Thursday, May 7, 2015 at 11:48:34 PM UTC+2, Simon Wright wrote:
>>    function "+" (Right : String) return V_String.Bounded_String
>>      is (V_String.To_Bounded_String (Right));
>> 
>> (untested)
>
> Thanks that works.
>
> But now I am a bit confused:
>
> That one works without specifying the Drop:
>
> V_String.To_Bounded_String (Right))
>
> Because after opening the '(' the drop appears in the parameters.

It works because it's the Ada 2012 equivalent of

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

in other words To_Bounded_String is called with Drop defaulted to Error.