On Sun, Jun 17, 2012 at 11:43 AM, Florian Weimer <[email protected]> wrote:
> Ada supports variable-sized arrays as values, without indirection, so > I would say it permits both. Ada's arrays seem closer to vectors in > your terminology. > By "without indirection", do you mean that they are unboxed? You're going to have to prove that to me by a pointer to the Ada standard. If I recall correctly, Ada does support variable-length arrays whose size is bound by a statically-known constant. I don't recall whether these are considered unboxed types. In general, the Ada specification is very careful to avoid specifying that unconstrained arrays are unboxed. I believe that a fully conforming implementation is free to box unconstrained arrays wherever they appear.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
