Re: 'Class'Class'Class'Class ad libitum

[Robert A Duff <bobduff@TheWorld.com>]

"J-P. Rosen" <rosen@adalog.fr> writes:

> I guess this is allowed because nobody cared about complicated rules to
> forbid it (mainly on the ground that it's useless, but harmless). 

I think it was to make this work:

    generic
       type Formal (<>) is tagged private;
    package G is
       pragma Elaborate_Body;
    end G;

    package body G is
       subtype S is Formal'Class;
    end G;

    with G;
    package P is
       type T is tagged null record;
       package Inst is new G (Formal => T'Class);
    end P;

We don't want the legality of an instance to depend on the contents of
the generic body.

> ...There
> are many things like that:
>   T'(T'(T'(X)))
>   X+0+0+0
>   ...

- Bob