From: Simon Wright <simon@pushface.org>
Subject: Re: Textedit and txt
Date: Fri, 08 May 2015 06:50:28 +0100
Date: 2015-05-08T06:50:28+01:00 [thread overview]
Message-ID: <lya8xfzkgr.fsf@pushface.org> (raw)
In-Reply-To: a6baaf7b-c706-4d52-b483-1bf7f622898d@googlegroups.com
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.
next prev parent reply other threads:[~2015-05-08 5:50 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-24 21:40 Annoying behavior Laurent
2015-04-25 4:31 ` gautier_niouzes
2015-04-25 6:51 ` Laurent
2015-04-25 4:50 ` Niklas Holsti
2015-04-25 7:15 ` Laurent
2015-04-25 8:10 ` Niklas Holsti
2015-04-25 15:37 ` Laurent
2015-04-25 13:54 ` Stephen Leake
2015-04-25 15:46 ` Laurent
2015-04-25 17:02 ` Simon Wright
2015-04-25 17:41 ` Niklas Holsti
2015-04-25 18:58 ` Laurent
2015-04-25 19:30 ` Georg Bauhaus
2015-04-25 20:13 ` Laurent
2015-04-25 21:46 ` Laurent
2015-04-25 23:16 ` Bob Duff
2015-04-26 10:38 ` Jedi Tek'Unum
2015-04-26 11:52 ` Textedit and txt Laurent
2015-04-26 13:21 ` brbarkstrom
2015-05-06 21:23 ` Randy Brukardt
2015-05-07 21:12 ` Laurent
2015-05-07 21:48 ` Simon Wright
2015-05-07 22:24 ` Laurent
2015-05-08 5:50 ` Simon Wright [this message]
2015-05-08 7:35 ` Laurent
2015-05-08 23:35 ` Randy Brukardt
2015-05-09 19:25 ` Laurent
2015-05-09 21:36 ` Anh Vo
2015-05-11 17:00 ` Shark8
2015-05-11 17:49 ` Dmitry A. Kazakov
2015-05-09 15:23 ` brbarkstrom
2015-05-12 1:10 ` Randy Brukardt
2015-05-12 12:44 ` brbarkstrom
2015-05-12 21:57 ` Randy Brukardt
2015-05-13 12:07 ` brbarkstrom
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox