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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ok to assume type Duration is for more than one day?
Date: Mon, 23 Jan 2017 14:53:27 +0100
Organization: A noiseless patient Spider
Message-ID: <o651pj$qjp$1@dont-email.me>
References: <52d00223-69b9-4a5c-a2e0-aaa906d9b200@googlegroups.com>
 <o64f5v$h65$1@dont-email.me> <o650j2$map$1@dont-email.me>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 23 Jan 2017 13:51:47 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="cca45ae56a5b242f306a520c85846e6b";
	logging-data="27257"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/meMv37dw4ke2Gb+TBkUaxX71k/0F3OUc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0)
 Gecko/20100101 Thunderbird/45.6.0
In-Reply-To: <o650j2$map$1@dont-email.me>
Cancel-Lock: sha1:Sipn1IZmdSQwmJ1rqXjNXpc2ht4=
Xref: news.eternal-september.org comp.lang.ada:33134
Date: 2017-01-23T14:53:27+01:00
List-Id: <comp.lang.ada>

On 23.01.17 14:32, Björn Lundin wrote:
> or something like
>  pragma Compile_Time_Error(Duration'Last > 100 * 86_400.0, "To large");
>
> if Duration'Last > 100 * 86_400.0 you get a compile error
> with the string "To large"

Is this  available with compilers other than GNAT?

Could it be made standard?
Given that Ada requires certain expressions to be
compile time expressions, they could be referred to
when defining minimum support for a standard pragma.

-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff