From: "James A. Squire" <m193884@CSEHP3.MDC.COM>
Subject: Re: type casting tagged types in the wrong
Date: 1996/04/02
Date: 1996-04-02T00:00:00+00:00 [thread overview]
Message-ID: <31616B8C.58C5@csehp3.mdc.com> (raw)
In-Reply-To: md5:2007D2C08E89BD8AAF36D7DF96E5D7BE
Scott Moody <scott@PLATO.DS.BOEING.COM> wrote:
> I run this same program with GNAT 3.03 on solaris
> and it reports the error correctly:
>
> tmp.adb:24:14: downward conversion of tagged objects not allowed
> gnatmake: *** compilation failed.
>
> ----source:
[source snipped]
I just ran it myself against the same compiler on the same platform and
to my chagrin I got the same error message.
I had figured that the bug would be consistant. The place where I found
it
was in the Alert system that is partially coded in the Rationale. I
added code for the other subunits besides Handle, and then I switched
the overloads of Handle so that the one for Medium Alerts called the one
for High Alerts instead of the one for Alerts. I made sure the subunit
for Set_Alarm actually tried to read the extra field. In this case
there was no error on the line:
Handle (HA => High_Alert(MA));
I will send this off to report@gnat.com.
--
James Squire
MDA Avionics Tools & Processes
ja_squire@csehp3.mdc.com
"one of these days I'm going to better myself by going to Knight school"
next parent reply other threads:[~1996-04-02 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <md5:2007D2C08E89BD8AAF36D7DF96E5D7BE>
1996-04-02 0:00 ` James A. Squire [this message]
1996-03-28 0:00 type casting tagged types in the wrong direction Tucker Taft
1996-03-29 0:00 ` type casting tagged types in the wrong Scott Moody
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox