From: Ted Dennison<dennison@telepath.com>
Subject: Re: Heterogenous_Array_Test: please explain error
Date: Wed, 13 Jun 2001 15:40:30 GMT
Date: 2001-06-13T15:40:30+00:00 [thread overview]
Message-ID: <OPLV6.6880$pb1.262358@www.newsranger.com> (raw)
In-Reply-To: 9g7uub$70u$1@news.huji.ac.il
In article <9g7uub$70u$1@news.huji.ac.il>, Ehud Lamm says...
>In the example I posted as an answer to the original quation, I use a
>conversion. A qualified expression doesn't compile (using Gnat 3.13) (And in
>any case, I'd want the checks done if at all possible)
According to the LRM a qualified expression will do a subtype constraint check,
but in this case I'm pretty sure you are right. We are talking about 2 *derived*
types here, and the compiler is already *sure* its one of them, so its not a
matter of simple clarification.
---
T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html
home email - mailto:dennison@telepath.com
next prev parent reply other threads:[~2001-06-13 15:40 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-12 20:32 Heterogenous_Array_Test: please explain error M. A. Alves
2001-06-12 19:44 ` Ehud Lamm
2001-06-12 19:50 ` Ted Dennison
2001-06-13 9:52 ` Lutz Donnerhacke
2001-06-13 14:42 ` Ted Dennison
2001-06-13 14:48 ` Ehud Lamm
2001-06-13 15:40 ` Ted Dennison [this message]
2001-06-13 17:10 ` Ehud Lamm
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox