Re: type is access cf type is access all?

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

For all those suffering sleepless nights over GNAT's failure to detect the
abuse of pool-specific types, here is output from GNAT version 2.01:

     1. procedure r is
     2.   type a is access integer;
     3.   b : aliased integer;
     4.   c : a;
     5. begin
     6.   c := b'access;
                |
        >>> result must be general access type
        >>> add "all" to type "a" declared at line 2

     7. end;

We hope to have version 2.01 (may be labeled 2.02 when it actually gets out)
in the next day or two for SunOS, and next week for OS/2 and other ports.