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!mx02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Pascal Obry Newsgroups: comp.lang.ada Subject: Re: type conversion Date: Mon, 13 Oct 2014 07:40:28 +0200 Organization: Home - http://www.obry.net Message-ID: <1413178828.3344.54.camel@obry.net> References: <8d412a6d-5589-4601-a7f8-5bb6d1b8850f@googlegroups.com> <1413106638.3344.5.camel@obry.net> Reply-To: pascal@obry.net NNTP-Posting-Host: KpDErP2zF8NnM8mDMNH95w.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Complaints-To: abuse@aioe.org X-Mailer: Evolution 3.12.6-1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:22410 Date: 2014-10-13T07:40:28+02:00 List-Id: Le lundi 13 octobre 2014 =C3=A0 01:05 +0200, Georg Bauhaus a =C3=A9crit := =20 > Is Predicate_Failure a new aspect in GNAT? My RM does not list it, > and GNAT GPL 2014 rejects it. GNAT does, however, accept >=20 > subtype Integer_String is String > with Dynamic_Predicate =3D> Integer'Value (Integer_String) in Integ= er > or else raise Assertion_Error with "not an integer string"; >=20 > (And warns that one should use 'Valid instead of a membership test, > even though there is no object to which one could apply 'Valid.) This pragma has been added recently. It is described into Barnes's Ada 2012 book though. GNAT does not support it yet, I have filed a report about this. Regards, --=20 Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://v2p.fr.eu.org http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B