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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,T_HK_NAME_FM_MR_MRS autolearn=no autolearn_force=no
	version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!toylet.eternal-september.org!.POSTED!not-for-mail
From: "Mr. Man-wai Chang" <toylet.toylet@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: language defined list of prime numbers
Date: Sun, 10 Dec 2017 00:18:49 +0800
Organization: Hung Hom, Kowloon, Hong Kong
Message-ID: <p0h2d7$22j$3@toylet.eternal-september.org>
References: <1afe0b2c-eb71-4197-9bbb-b78532e4cd7e@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 9 Dec 2017 16:18:48 -0000 (UTC)
Injection-Info: toylet.eternal-september.org;
 posting-host="21afb5939229648eca5f05777b1a997a";
	logging-data="2131"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19JTudC1HUcmWBTUUzCY1Sd"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
In-Reply-To: <1afe0b2c-eb71-4197-9bbb-b78532e4cd7e@googlegroups.com>
Cancel-Lock: sha1:ZqgWe/OR70r/HAO46iCfCnlf85I=
Xref: reader02.eternal-september.org comp.lang.ada:49438
Date: 2017-12-10T00:18:49+08:00
List-Id: <comp.lang.ada>

On 9/12/2017 11:57 PM, Mehdi Saada wrote:
> Does the norm compel compilers to provide a descent list of prime numbers ? I can't find "prime" in the RM.
>

I think prime numbers are not a number series. You have to specify the 
range for a list of prime numbers, don't you?

-- 
   @~@   Remain silent! Drink, Blink, Stretch! Live long and prosper!!
  / v \  Simplicity is Beauty!
/( _ )\ May the Force and farces be with you!
   ^ ^   (x86_64 Ubuntu 9.10)  Linux 2.6.39.3
不借貸! 不詐騙! 不援交! 不打交! 不打劫! 不自殺! 請考慮綜援 (CSSA):
http://www.swd.gov.hk/tc/index/site_pubsvc/page_socsecu/sub_addressesa