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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Infinite recursion in Static_Predicate ?
Date: Mon, 22 Jul 2013 21:09:40 +0100
Message-ID: <CE135014.33022%yaldnif.w@blueyonder.co.uk>
References: <op.w0myf2o8ule2fv@cardamome>
 <8b75330e-0733-4ca3-83a7-8f6b1b9916e4@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
X-Trace: individual.net eGnJNv8sWY9YokgtFogS9wAn9yNNLSjHxDQZ1/5aYNY4V//C1A
Cancel-Lock: sha1:HUMEevDP68LPH0aNIb3KWL3E4xU=
User-Agent: Microsoft-Entourage/12.36.0.130206
Thread-Topic: Infinite recursion in Static_Predicate ?
Thread-Index: Ac6HF2WqcTNQ65RDiUOUwIbXQr1kLw==
Xref: news.eternal-september.org comp.lang.ada:16485
Date: 2013-07-22T21:09:40+01:00
List-Id: <comp.lang.ada>

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;