From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Kevin Chadwick <kc-usenet@chadwicks.me.uk>
Newsgroups: comp.lang.ada
Subject: Re: GNAT.Source_Info Volatile and SPARK
Date: Sat, 9 Dec 2023 14:16:17 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <ul1srg$27ssd$1@dont-email.me>
References: <ukvn87$1r9gq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 9 Dec 2023 14:16:17 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="f6e9be193d3e804a84a12316ab678d7e";
	logging-data="2356109"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/4yFxqXLZ/4hLxv0/W/m3MVRM2cWsystA="
User-Agent: PhoNews/3.13.2 (Android/13)
Cancel-Lock: sha1:J5s1nusSK+r2o6Ih8Vh61tOnfYw=
In-Reply-To: <ukvn87$1r9gq$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:65895
List-Id: <comp.lang.ada>

>I can use the function File as a package global constant. Any other ideas?

I shall go with doing the above per package for Gnat.Source_Info.File and
 wrapping the Gnat.Source_Info.Line procedure with one marked with Global =>
 null.

Where would I suggest that Global => null be added to Line?

-- 
Regards, Kc