From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cf75272301f10c97
X-Google-Attributes: gid103376,public
From: dewar@gnat.com
Subject: Re: Ada.Exceptions could be 'pragma Preelaborate' ?
Date: 1998/10/31
Message-ID: <71fol7$r63$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 407053495
References: <u90hxkjhl.fsf@gsfc.nasa.gov> <wccn26dvfgi.fsf@world.std.com>
X-Http-Proxy: 1.0 x12.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Sat Oct 31 19:32:55 1998 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/2.02 (OS/2; I)
Date: 1998-10-31T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <wccn26dvfgi.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> Stephen Leake <Stephen.Leake@gsfc.nasa.gov> writes:
>
> > 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.
>
> Yeah, that's a problem.  Similarly, if you want to put debugging
> print-outs into a pragma-Pure package, you can't.


A little note for GNAT users:

The I/O package GNAT.IO is preelaborable. This is a convenient subset of
Text_IO features, perfectly adequate for debugging use.

Robert Dewar
Ada Core Technologies

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own