Re: What should this do?

[rharwood@east.pima.edu]

In article <1991Jun28.193513.14271@afit.af.mil>, dlindsle@afit.af.mil (David T.
Lindsley) writes:

>   [code example deleted for brevity... see same code below]
> will result in the attempt to allocate an array constrained to (1..0),
> which should raise an exception.  At least, that's what it does under
> VAX Ada, but not on Verdix.  (Both generate warnings.)

I compiled the following code on the VAX Ada compiler, ACS-LINKed it, and ran
it, all without error:
================== Code Startes Here ================
procedure test_100 is

  -- This is your definition package:
  package his_definitions is
             subtype INDEX is natural range 0..100;
             type DYN_STRING (SIZE : INDEX := 0) is private; 

           private
                 type DYN_STRING (size : index := 0) is
                    record
                        DATA : string (1..size);
                    end record;
  end his_definitions;
  use his_definitions;

  -- Your declaration here:
  S : DYN_STRING;
begin
    null;
end test_100;