Is this legal ?

[convex!pelakh@uunet.uu.net (Boris Pelakh)]

The following procedure produces a warning at compile time saying that
the declaration of NULL_LINE is exceeding the storage limit of the 
implementation. At runtime, I get a storage error. It looks like the 
unconstrined declare is causing an attempt to allocate a STRING(1..MAX_INT),
even though I would expect it to only declare a STRING(1..10). The RM
does not explain this particular case. Any ideas ?

--------------

procedure BROKE is
   type VAR_LINE(LENGTH : INTEGER := 10) is
      record
             IMAGE : STRING(1..LENGTH);
      end record;
   NULL_LINE : VAR_LINE;
begin
    null;
end BROKE;

--------------

--
Boris Pelakh            Development Software Test       pelakh@convex.com
"You can see me tonight with an illegal smile. Doesn't cost very much, but
 it lasts a long while ..."		- John Prine, "Illegal Smile"