From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Subject: Re: Infinite recursion in Static_Predicate ?
Date: Mon, 22 Jul 2013 21:09:40 +0100
Date: 2013-07-22T21:09:40+01:00 [thread overview]
Message-ID: <CE135014.33022%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 8b75330e-0733-4ca3-83a7-8f6b1b9916e4@googlegroups.com
On 22/07/2013 20:09, in article
8b75330e-0733-4ca3-83a7-8f6b1b9916e4@googlegroups.com, "Anh Vo"
<anhvofrcaus@gmail.com> wrote:
> On Monday, July 22, 2013 11:17:52 AM UTC-7, Hibou57 (Yannick Duchêne) wrote:
>> Hi people,
>>
>> type Day is
>>
>> (Monday, Tuesday, Wednesday,
>>
>> Thursday, Friday, Saturday, Sunday);
>>
>>
>>
>> type T_Day
>>
>> is new Day
>>
>> with Static_Predicate =>
>>
>> T_Day in Tuesday | Thursday;
>
> It compiles fine with GNAT-GPL-2013 on Windows.
OK wih GNAT GPL 2013 on OS X as well.
--
Bill Findlay
with blueyonder.co.uk;
use surname & forename;
prev parent reply other threads:[~2013-07-22 20:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-22 18:17 Infinite recursion in Static_Predicate ? Yannick Duchêne (Hibou57)
2013-07-22 19:09 ` Anh Vo
2013-07-22 20:09 ` Bill Findlay [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