From: Paul Chardon <paul.chardon@avions.aerospatiale.fr>
To: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: new type'class'() legal?
Date: 1996/12/10
Date: 1996-12-10T00:00:00+00:00 [thread overview]
Message-ID: <32AD0A56.167EB0E7@avions.aerospatiale.fr> (raw)
In-Reply-To: x7vk9r0n0z5.fsf@pogner.demon.co.uk
Hello,
I think that the parameter e 's got a value whose type is a subtype from
base'class . Since everything that belongs to the class wide type
ext'class belongs of course to the class wide type base'class.
Consequently, I belive gnat is right.
Paul.
prev parent reply other threads:[~1996-12-10 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-12-02 0:00 new type'class'() legal? Simon Wright
1996-12-03 0:00 ` Tucker Taft
1996-12-10 0:00 ` Paul Chardon [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