From: Pascal Obry <pascal@obry.net>
Subject: Re: type conversion
Date: Mon, 13 Oct 2014 07:40:28 +0200
Date: 2014-10-13T07:40:28+02:00 [thread overview]
Message-ID: <1413178828.3344.54.camel@obry.net> (raw)
In-Reply-To: m1f1gi$ooh$1@dont-email.me
Le lundi 13 octobre 2014 à 01:05 +0200, Georg Bauhaus a écrit :
> Is Predicate_Failure a new aspect in GNAT? My RM does not list it,
> and GNAT GPL 2014 rejects it. GNAT does, however, accept
>
> subtype Integer_String is String
> with Dynamic_Predicate => Integer'Value (Integer_String) in Integer
> or else raise Assertion_Error with "not an integer string";
>
> (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,
--
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
next prev parent reply other threads:[~2014-10-13 5:40 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-11 23:56 type conversion compguy45
2014-10-12 0:07 ` compguy45
2014-10-12 0:25 ` compguy45
2014-10-12 0:33 ` Jeffrey Carter
2014-10-12 0:38 ` compguy45
2014-10-12 3:45 ` Jeffrey Carter
2014-10-12 2:32 ` Shark8
2014-10-12 4:53 ` Anh Vo
2014-10-12 4:57 ` Shark8
2014-10-12 5:41 ` Anh Vo
2014-10-12 6:38 ` Jeffrey Carter
2014-10-12 9:37 ` Pascal Obry
2014-10-12 11:54 ` compguy45
2014-10-12 23:05 ` Georg Bauhaus
2014-10-13 5:40 ` Pascal Obry [this message]
2014-10-13 7:26 ` Simon Wright
2014-10-13 22:36 ` Randy Brukardt
2014-10-12 9:16 ` Simon Wright
2014-10-12 21:05 ` Shark8
2014-10-12 9:31 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
1998-11-01 0:00 Type Conversion Heather Wright
1998-11-01 0:00 ` Tucker Taft
1998-11-01 0:00 ` dewarr
1998-11-02 0:00 ` Marin David Condic
1998-11-02 0:00 ` Michael Kaufman
1998-11-03 0:00 ` Arun Mangalam
1998-11-06 0:00 ` Niklas Holsti
1997-12-08 0:00 Nick Davies
1997-12-08 0:00 ` John English
1997-12-09 0:00 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox