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=-2.2 required=3.0 tests=BAYES_00,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:18:14 +1100
Organization: A noiseless patient Spider
Message-ID: <tqkg72$39v71$2@dont-email.me>
References: <7f9d3951-fbf3-469a-ae4f-a74de26771b1n@googlegroups.com>
 <tqirfc$1vu2$1@gioia.aioe.org>
 <4db688df-4ada-4eaf-8c49-ac8ab1956b91n@googlegroups.com>
 <tqkfvl$39v71$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 22 Jan 2023 23:17:55 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="f2406f80d8a139156a3308bf3c4cc5d0";
	logging-data="3472609"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19c6tn1ZutqTE0mBfuGqkVcv9+ig0Yc9MM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.7.0
Cancel-Lock: sha1:oMForKzGZRfz/56GB5Wqzpdom9Y=
In-Reply-To: <tqkfvl$39v71$1@dont-email.me>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:64857
List-Id: <comp.lang.ada>

On 23/1/23 10:14, Rod Kay wrote:
> 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.


Sorry, wrong thread :/ .