Re: Type vs subtype about visibility of parent's private full definition

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Wed, 15 May 2013 16:44:05 +0200, Adam Beneschan <adam@irvine.com> a  
écrit:

> 7.3.1(4) says that the Value component should be visible at that point.   
> This is a compiler bug.
>
>                              -- Adam

Indeed this looks to say it. I would have not thought to look in “7.3.1  
Private Operations” as this was not about operation, and “8.3 Visibility”  
does not refers to it neither. Sometime it's not that easy to seek in the  
RM :p (even using the Index).

So I will go with subtype anyway (have no choice), and will mark this with  
a comment like “-- GNAT bug” to remind me (and may be others, who know)  
it's not an Ada issue.

Thanks Adam :)

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University