Re: strings and multidimensional arrays

["Robert I. Eachus" <rieachus@comcast.net>]

Jeffrey Carter wrote:

 > This is along the lines of what I was going to suggest. I don't
 > understand, though, why you wrapped the Contents record in the
 > Element record. I would simply say
 >
 > type Thing is array (Positive range <>, Positive range <>) of
 > Content;
 >
 > Since you're a language lawyer and I'm not, I guess I'm missing
 > something here, and wonder what it is.

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.

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

-- 
                                                     Robert I. Eachus

"Quality is the Buddha. Quality is scientific reality. Quality is the
goal of Art. It remains to work these concepts into a practical,
down-to-earth context, and for this there is nothing more practical or
down-to-earth than what I have been talking about all along...the repair
of an old motorcycle."  -- from Zen and the Art of Motorcycle
Maintenance by Robert Pirsig