aliased variables

[Richard Beare <Richard.Beare@cmis.csiro.au>]

Hi,
I am having a problem trying to get a program with an aliased variable
to compile. I'm sure I'm missing something obvious 

-------------------------------------------------
procedure Al_Exp is

   type Mt is array(Natural range <>) of Integer;

   type H_Mt is access all Mt;

   K : aliased Mt(1 .. 10);
   L : H_Mt;

begin
    L := K'Access;
end;
-------------------------------------------------
The error message is

gcc -c -gnatv al_exp.adb

GNAT 3.10p (970814) Copyright 1992-1997 Free Software Foundation, Inc.

Compiling: al_exp.adb (source file time stamp: 1998-08-13 03:55:58)

    23.     L := K'Access;
                 |
        >>> object subtype must statically match designated subtype



What's the problem here - I haven't found anything in the RM saying I
can't have general access types pointing to unconstrained arrays - the
Rationale says that arrays of pointers to strings can be created without
dynamic allocation this way, but I haven't been able to get that to work
- what am I doing wrong?

-- 
Richard Beare
Richard.Beare@cmis.csiro.au