Re: Entry family

[evangeli <evangeli@cnam.fr>]

Grein, Christoph wrote:

>>---------------------------------------------
>>procedure Test_Index is
>>   type Id is mod 10;
>>   protected type Prot is
>>      entry E (Boolean);
>>   end Prot;
>>   protected body Prot is
>>       entry E (for I in Id) when True is
>>       begin
>>          null;
>>       end;
>>   end Prot;
>>   P : Prot;
>>begin
>>   P.E(True);
>>end;
>>
> 
> To me, this looks like a fat compiler bug. The entry body shouod be
> 
>   entry E (for I in Boolean) when True is
> 
> Report it to ACT (report@gnat.com).
> 


it seems that conversion is made at the run time:

example :
--------------------------------------------------
procedure test_index is
    type Id is mod 5;
    protected type Prot is
       entry E(Id);
    end Prot;
    protected body Prot is
       entry E(for B in boolean) when true is
       begin
          null;
       end;
    end Prot;
    P : Prot;
begin
    -- OK : 0 -> FALSE
    P.E(0);
    -- OK : 1 -> TRUE
    P.E(1);
    -- CRASHES
    P.E(2);
end;
--------------------------------------------------