Re: aliased variables

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Richard may like better the error messages that come out of the latest
version of
GNAT:

     1. procedure Al_Exp is
     2.
     3.    type Mt is array(Natural range <>) of Integer;
     4.
     5.    type H_Mt is access all Mt;
     6.
     7.    K : aliased Mt(1 .. 10);
           |
        >>> warning: aliased object has explicit bounds
        >>> warning: declare with explicit initialization
        >>> warning: for use with unconstrained access

     8.    L : H_Mt;
     9.
    10. begin
    11.     L := K'Access;
                 |
        >>> object subtype must statically match designated subtype

    12. end;