Re: Some kind of repeating in Static_Predicate

[Jacob Sparre Andersen <jacob@jacob-sparre.dk>]

ytomino <aghia05@gmail.com> writes:

> I'm trying to use a constant table (but that is unstable and may be
> changed in compile-time) in Static_Predicate.
>
>  Set : constant String := ('T', 'a', 'b', 'l', 'e');
>  
>  subtype T is Character
>     with Static_predicate => (for some I of Set => X = I);

Why not admit that it is a Dynamic_Predicate?

Alternatively:

   type T is ('T', 'a', 'b', 'l', 'e');

Or:

   subtype T is Character
      with Static_Predicate => (T in 'T' | 'a' | 'b' | 'l' | 'e');

Greetings,

Jacob
-- 
"people who live in glass houses shouldn't be throwing rocks
 -- especially at those who don't live in glass houses"