From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: Abstract Completion Question
Date: 1999/03/06
Date: 1999-03-06T00:00:00+00:00 [thread overview]
Message-ID: <7bul10$if3$1@plug.news.pipex.net> (raw)
In-Reply-To: 36DFF8BC.80853D3C@averstar.com
Well, the declaration of A in the example was a body which serves as a
declaration, i.e. it is not a completion of a prior declaration. The
addition of such a declaration causes GNAT to produce a program which runs
normally, so I suspect a GNAT bug (and I have submitted a report to
"report@gnat.com"). Assuming it is a bug, the workaround is presumably
extremely simple: always include a prior declaration in these situations.
-------------------------------------
Nick Roberts
-------------------------------------
Tucker Taft wrote in message <36DFF8BC.80853D3C@averstar.com>...
[...]
|Perhaps you have run into a GNAT bug, or perhaps the Constraint_Error
|is due to some other error in your program. From a language
|point of view, the dispatching call should be going to the
|body of A containing the Put_Line.
[...]
|-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
|Technical Director, Distributed IT Solutions (www.averstar.com/tools)
|AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
prev parent reply other threads:[~1999-03-06 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-03-04 0:00 Abstract Completion Question Nick Roberts
1999-03-05 0:00 ` Robert A Duff
1999-03-06 0:00 ` Nick Roberts
1999-03-05 0:00 ` Tucker Taft
1999-03-06 0:00 ` Nick Roberts [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