SPARK syntax and “use type” : lack of feature ?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Hi,

I meet a strange behavior with the SPARK syntax checker (via the examiner).

If I have something of the form

    procedure My_Procedure
    is
       Who_Know_What : Who_Know_What_Type;
       use type My_Type;
    begin
       ... bla-bla-bla ...
    end My_Procedure;

it's OK.

While if I have something like

    procedure My_Procedure
    is
       use type My_Type;
    begin
       ... bla-bla-bla ...
    end My_Procedure;

Then the spark syntax checker complains “Syntax Error reserved "IS" cannot  
be followed by "USE" here.”

So, if the “use type” comes after any kind of declaration (type or  
entity), that's OK, but if this comes at the first place, or worst, alone,  
so that it cannot be anywhere than at the first place, then it is rejected.

Strange. So much strange to me that I wonder if weither or not this is  
something which had not been seen as a possible issue.

What people here think about it ?

Is SPARK missing something or is there a rational ?