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:33:22 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <ul1tri$28240$1@dont-email.me>
References: <ukvn87$1r9gq$1@dont-email.me> <ul1srg$27ssd$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:33:22 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="f6e9be193d3e804a84a12316ab678d7e";
	logging-data="2361472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1892+qvVyUusNfi8wasf99spYGsoULnwKw="
User-Agent: PhoNews/3.13.2 (Android/13)
Cancel-Lock: sha1:cIqFs/4x8/WBS0New5J0AD0wvf8=
In-Reply-To: <ul1srg$27ssd$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:65896
List-Id: <comp.lang.ada>

On 09/12/2023 14:16, Kevin Chadwick wrote:
>>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?

Doh...Of course I can't wrap Line, ha ha. If I want the right line.

-- 
Regards, Kc