From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: type casting tagged types in the wrong direction
Date: 1996/03/28
Date: 1996-03-28T00:00:00+00:00 [thread overview]
Message-ID: <dewar.828062940@schonberg> (raw)
In-Reply-To: 4je8f8$174r@watnews1.watson.ibm.com
Norman said:
"The expression Jim.Z is perfectly legal, but the type conversion C(Jane)
is not. This should be flagged as a compile-time error, because it does
not satisfy the conditions in either 4.6(22) or 4.6(23)."
GNAT certainly agrees:
28. Jim := C (Jane);
|
>>> downward conversion of tagged objects not allowed
:-)
next prev parent reply other threads:[~1996-03-28 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-27 0:00 type casting tagged types in the wrong direction James A. Squire
1996-03-28 0:00 ` Tucker Taft
1996-03-28 0:00 ` Robert Dewar
1996-03-30 0:00 ` Fergus Henderson
1996-03-31 0:00 ` Robert Dewar
1996-03-29 0:00 ` type casting tagged types in the wrong Scott Moody
1996-03-28 0:00 ` type casting tagged types in the wrong direction Norman H. Cohen
1996-03-28 0:00 ` Robert Dewar [this message]
[not found] <md5:5AA0EAFF641BB9F461162E7F13E1101F>
1996-03-29 0:00 ` James A. Squire
1996-03-29 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox