From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Type vs subtype about visibility of parent's private full definition
Date: Thu, 16 May 2013 22:28:30 +0200
Date: 2013-05-16T22:28:30+02:00 [thread overview]
Message-ID: <op.ww61tsplule2fv@cardamome> (raw)
In-Reply-To: op.ww61oaqnule2fv@cardamome
Le Thu, 16 May 2013 22:25:12 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> 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.
Sorry for the previous message, I missed you used `Parents.Instance_Type`
and will try this variant. Anyway, that still seems to be a bug, as the
behaviour should be the same in both cases, using either
`Parents.Instance_Type` or a `Parent_Type` subtype.
--
“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
prev parent reply other threads:[~2013-05-16 20:28 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-15 8:13 Type vs subtype about visibility of parent's private full definition Yannick Duchêne (Hibou57)
2013-05-15 14:44 ` Adam Beneschan
2013-05-15 20:45 ` Yannick Duchêne (Hibou57)
2013-05-16 13:54 ` Marc C
2013-05-17 0:01 ` Randy Brukardt
2013-05-17 15:48 ` Adam Beneschan
2013-05-16 15:29 ` Simon Wright
2013-05-16 20:25 ` Yannick Duchêne (Hibou57)
2013-05-16 20:28 ` Yannick Duchêne (Hibou57) [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