From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=3.0 tests=BAYES_05,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,NICE_REPLY_A,T_SCC_BODY_TEXT_LINE autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Rod Kay <rodakay5@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: elab pragma placement
Date: Mon, 23 Jan 2023 10:14:18 +1100
Organization: A noiseless patient Spider
Message-ID: <tqkfvl$39v71$1@dont-email.me>
References: <7f9d3951-fbf3-469a-ae4f-a74de26771b1n@googlegroups.com>
 <tqirfc$1vu2$1@gioia.aioe.org>
 <4db688df-4ada-4eaf-8c49-ac8ab1956b91n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 22 Jan 2023 23:13:58 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="f2406f80d8a139156a3308bf3c4cc5d0";
	logging-data="3472609"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+SPdgVrj53mRgqc224czjA93On+MZcYM0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.7.0
Cancel-Lock: sha1:BrGrUDA03MYmdqQkuC5cRmysWj8=
Content-Language: en-US
In-Reply-To: <4db688df-4ada-4eaf-8c49-ac8ab1956b91n@googlegroups.com>
Xref: reader01.eternal-september.org comp.lang.ada:64855
List-Id: <comp.lang.ada>

On 22/1/23 20:55, AdaMagica wrote:
> A subprogram is a program unit and may be declared pure. I do not see that A.B performs any of 10.2.1(15ff).
> 
> I tried
> procedure A.B (x : T) with Pure;
> which is accepted together with its body and still got the compiler complaint.
> 
> Looks like a compiler problem.

    If you are on linux, then you could set the stack size with

    $ ulimit -s unlimited
    $ launch_my_app



Regards.