Re: strings and multidimensional arrays

[Jeffrey Carter <spam@spam.com>]

Robert I. Eachus wrote:

> You can't have an array of unconstrained records, and Content is an
> unconstrained record type. (Try it.) Wrapper is a constrained type, even 
> though it has an unconstrained record type within it.

I have. It works, at least with GNAT 3.15p. The following compiles:

package Test_Unconstrained_Record_Array is
    type Disc is (One, Two, Five);

    type Unconstrained_Record (D : Disc := One) is record
       case D is
       when One =>
          I : Integer;
       when Two =>
          C : Character;
       when Five =>
          F : Float;
       end case;
    end record;

    type Thing is array (Positive range <>, Positive range <>) of
    Unconstrained_Record;
end Test_Unconstrained_Record_Array;

> Or I could just say that it was necessary magic. ;-)

Is GNAT wrong, or is it unnecessary magic? I've been doing this since 
1984. I know you can't have an array of indefinite elements (an 
unconstrained array type, such as String, or a type with unknown 
discriminants), but unconstrained records types are not indefinite.

-- 
Jeff Carter
"Sons of a silly person."
Monty Python & the Holy Grail
02