From: J Kimball <nntp@kmbll.com>
Subject: Re: Standard missing a 'Negative' subtype?...
Date: Mon, 30 Sep 2013 21:45:50 -0500
Date: 2013-09-30T21:45:50-05:00 [thread overview]
Message-ID: <l2dd0u$dg8$1@loke.gir.dk> (raw)
In-Reply-To: <e0b14a72-76a3-4a1e-8425-13168320ba3c@googlegroups.com>
On 09/14/2013 02:13 PM, mockturtle wrote:
>
> Sorry, I could not resist... :-)
>
> subtype Answer is Integer range 42 .. 42;
>
>
I'd prefer a static predicate:
subtype Answer is Integer with Static_Predicate => Answer = 42;
next prev parent reply other threads:[~2013-10-01 2:45 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-14 8:49 Standard missing a 'Negative' subtype? Martin
2013-09-14 9:14 ` Dmitry A. Kazakov
2013-09-14 19:13 ` mockturtle
2013-10-01 2:45 ` J Kimball [this message]
2013-09-14 19:57 ` Shark8
2013-09-15 3:28 ` Jeffrey R. Carter
2013-09-15 7:36 ` Simon Wright
2013-09-15 16:07 ` Jeffrey R. Carter
2013-09-15 16:49 ` Martin
2013-09-15 17:51 ` J-P. Rosen
2013-09-16 17:44 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox