Re: Gnat Problem - Freezing too soon

[russ lyttle <lyttlec@removegmail.com>]

On 3/3/19 4:26 PM, Simon Wright wrote:
> russ lyttle <lyttlec@removegmail.com> writes:
> 
>> On 3/2/19 4:35 PM, Simon Wright wrote:
> 
>>> With regard to
>>>
>>>      protected type Sporadic_Agent (S: Any_Sporadic_State)
>>>      with Priority => S.Ceiling_Prioriy
>>>      is
>>>
>>> all the compilers are seriously confused:
>>>
>>>      sporadics.ada:30:22: no selector "Ceiling_Prioriy" for type "Sporadic_State'Class" defined at line 17
>>>      sporadics.ada:30:23: possible misspelling of "Ceiling_Priority"
>>>      sporadics.ada:30:23: possible misspelling of "Ceiling_Priority"
>>>      sporadics.ada:30:23: possible misspelling of "Ceiling_Priority"
>>>
>>> and you only have to look at the task equivalent above to see that it
>>> should have been OK. This one looks like another compiler error to me.
>>>
>> There is a misspelling: Prioriy => Priority. Correct that misspelling
>> and the idiom _sometimes_ works without the "not null".
> 
> Oh dear. Colour _me_ confused.
> 
>> The bug report had an instance of where the compiler failed. Would it
>> be helpful to add an instance where it passed?
> 
> Maybe so, I read once that the experts 'merely' fire up the compiler
> under the debugger and go straight to the source of the problem. Scary.
> That said, I don't see that it could hurt.
>   It looks like it was two separate bugs involving "with Priority". One 
was fixed, but a new one introduced. "not null" fixes the new one.