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

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

Le Thu, 16 May 2013 17:29:13 +0200, Simon Wright <simon@pushface.org> a  
écrit:
> if I write instead of Parent_Type and
> Instance_Type above
>
>    type Instance_Type is
>      new Parents.Instance_Type
>      (Discriminant => 2);
>
> or
>
>    subtype Instance_Type is
>      Parents.Instance_Type
>      (Discriminant => 2);
>
> it compiles OK.

The first does not compile for me with GNAT from GCC 4.8, it fails with  
the message given in the original message, which is “no selector "Value"  
for private type derived from "Instance_Type"”.

What GNAT flavour did you tried it with? GNAT Pro or GPL or FSF?

-- 
“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