Re: Predicate and value attribute

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 01/26/2016 04:09 AM, Xavier Petit wrote:
> 
> procedure Sandbox is
>    subtype Number is String
>      with Dynamic_Predicate => Integer'Value (Number) in -1 .. 5;
> 
>    subtype Number2 is String
>      with Dynamic_Predicate => Integer'Value (Number2) in -1 | 5;
> 
>    function Check_Number3 (Item : String) return Boolean
>    is
>      (Integer'Value (Item) in -1 .. 5);
> 
>    subtype Number3 is String
>      with Dynamic_Predicate => Check_Number3 (Number3);
> 
>    Test : constant Number := "-1";
>    Test2 : constant Number2 := "-1";
>    Test3 : constant Number3 := "-1";
> 
> begin
>    null;
> end;

With GNAT 4.9.2 this compiles without problem.

-- 
Jeff Carter
"I'm a vicious jungle beast!"
Play It Again, Sam
131