Re: A Gnother Gnasty bug

[sbelmont700@gmail.com]

Hi,

I'm no language lawyer, but the same section from the LRM:

> 3.3(23): [...] A class-wide subtype is defined to have unknown 
> discriminants, and is therefore an indefinite subtype. An indefinite 
> subtype does not by itself provide enough information to create an 
> object; an additional constraint or explicit initialization expression 
> is necessary (see *note 3.3.1). 

seems to imply that it is legal, given an initializer ("an ... explicit initialization expression is necessary").  Given 

> 4.8(4): An initialized allocator is an allocator with a 
> qualified_expression. [...] 

Then I would read it as being acceptable.  After all, the fundamental problem is the same (how much room to make) whether you do it on the heap or the stack, and Ada has no problem with

o : T'Class := Make_D;

(Where an abstract T is extended by D), or any other indefinite types returned from functions (i.e. arrays, discriminated records).

-sb