From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Question regarding example code in AI12-0140
Date: Fri, 31 Oct 2014 12:40:05 -0700 (PDT)
Date: 2014-10-31T12:40:05-07:00 [thread overview]
Message-ID: <bc4efa4f-7b39-4ca8-8c3b-503eef0039ea@googlegroups.com> (raw)
In-Reply-To: <f7645ba6-7b61-4337-adec-77954318e0d6@googlegroups.com>
Am Donnerstag, 30. Oktober 2014 16:59:31 UTC+1 schrieb Mark Lorenzen:
> In AI-0140 the following example code is given:
>
> with Ada.Unchecked_Deallocation;
>
> package UNC is
>
> type My_String (<>) is limited private;
> type My_String_Access is access My_String;
> private
> type My_String is new String;
> procedure Free is new
> Ada.Unchecked_Deallocation (My_String, My_String_Access);
>
> end UNC;
>
> The AI discusses if this is legal Ada or not.
Hu - I've got severe problems to understand the AI. It says:
"The full view of My_String is constrained, while My_String_Access designates the partial view of My_String, which is unconstrained."
But since when is type String constrained? So why is the full view of My_String constrained?
Am I blind?
next prev parent reply other threads:[~2014-10-31 19:40 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-30 15:59 Question regarding example code in AI12-0140 Mark Lorenzen
2014-10-30 16:21 ` Adam Beneschan
2014-10-31 10:11 ` Mark Lorenzen
2014-10-31 19:40 ` AdaMagica [this message]
2014-11-01 15:31 ` Brad Moore
2014-11-08 3:58 ` Randy Brukardt
2014-11-08 19:20 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox