From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Infinite recursion in Static_Predicate ?
Date: Mon, 22 Jul 2013 12:09:37 -0700 (PDT)
Date: 2013-07-22T12:09:37-07:00 [thread overview]
Message-ID: <8b75330e-0733-4ca3-83a7-8f6b1b9916e4@googlegroups.com> (raw)
In-Reply-To: <op.w0myf2o8ule2fv@cardamome>
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.
A. Vo
next prev parent reply other threads:[~2013-07-22 19: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 [this message]
2013-07-22 20:09 ` Bill Findlay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox