comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Two ranges of constraints.
Date: Sun, 25 Jun 2017 07:32:31 -0700 (PDT)
Date: 2017-06-25T07:32:31-07:00	[thread overview]
Message-ID: <2a6e3915-95e5-400d-9bc3-dfb7373645e4@googlegroups.com> (raw)
In-Reply-To: <e3201147-eec6-4de9-b196-d488f8432a3a@googlegroups.com>

On Sunday, June 25, 2017 at 4:49:58 AM UTC-6, Distant Worlds wrote:
> Can I do something like this?
> 
> subtype my_numbers  is integer range 10..20 or 50..70;
> 
> Thanks!

  subtype my_numbers is integer
   with Static_Predicate => my_numbers in 10..20 | 50..70;


      reply	other threads:[~2017-06-25 14:32 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-06-25 10:49 Two ranges of constraints Distant Worlds
2017-06-25 14:32 ` Shark8 [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox