comp.lang.ada
 help / color / mirror / Atom feed
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Indefinite_Holders: bug or misunderstanding?
Date: Thu, 1 Feb 2018 16:53:10 +0100
Date: 2018-02-01T16:53:10+01:00	[thread overview]
Message-ID: <p4vd56$3j8$1@dont-email.me> (raw)
In-Reply-To: <p4tn4f$p5d$1@franka.jacob-sparre.dk>

On 01/02/18 01:31, Randy Brukardt wrote:
> "Shark8" <onewingedshark@gmail.com> wrote in message
> news:bf840108-2cdb-457d-928e-9db658d4d8d2@googlegroups.com...
>> Hm, the error-message is straightforward: the compiler is expecting the
>> full-definition of Str to have a discriminant.
>>
>> HOWEVER, I seem to remember* the partial-view ("type Str (<>) is private")
>> as indicating only that the type is unconstrained, which the array
>> actually is -- so if that's the proper interpretation then this is a
>> compiler bug.
>>
>>
>> * I could be misremembering; I don't think that the generic-parameter
>> "Type Param(<>) is private"
>>
>> ---------------------------------
>> PS -- Looks like a compiler error.
> 
> I agree, looks like a compiler bug to me. Any non-limited type should work
> in a holder.
> 
>                             Randy.

That's what I expected. Submitting then.

Thanks,
Álex.

> 
> 


      reply	other threads:[~2018-02-01 15:53 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-31 12:06 Indefinite_Holders: bug or misunderstanding? Alejandro R. Mosteo
2018-01-31 22:31 ` Shark8
2018-02-01  0:31   ` Randy Brukardt
2018-02-01 15:53     ` Alejandro R. Mosteo [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox