From: Stephen Leake <Stephen.Leake@gsfc.nasa.gov>
Subject: Ada.Exceptions could be 'pragma Preelaborate' ?
Date: 1998/10/30
Date: 1998-10-30T00:00:00+00:00 [thread overview]
Message-ID: <u90hxkjhl.fsf@gsfc.nasa.gov> (raw)
Currently, Ada.Exceptions has no elaboration pragma, and thus any unit
that 'withs' Ada.Exceptions cannot have 'pragma Preelaborate'. This is
a pain; I'm building a nice library, everything is either Pure or
Preelaborate, but then I start adding nice error messages to my
exceptions, and I have to get rid of the pragmas. I started replacing
Preelaborate with Elaborate_Body, and got some circular elaboration
problems.
So, is there a reason Ada.Exceptions can't be Preelaborate? nothing in
the public spec violates a rule; do most implementations require
something that does?
-- Stephe
next reply other threads:[~1998-10-30 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-10-30 0:00 Stephen Leake [this message]
1998-10-30 0:00 ` Ada.Exceptions could be 'pragma Preelaborate' ? Tucker Taft
1998-10-30 0:00 ` Robert A Duff
1998-10-31 0:00 ` dewar
1998-11-04 0:00 ` Michel Gauthier
1998-11-04 0:00 ` 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