Dynamically tagged expression not allowed. Why?

["Marc A. Criley" <mcNOSPAM@mckae.com>]

I'm creating a GNAT 4.4.3 on Ubuntu Ada binding for some C++ classes, 
using the binding generated by g++ -fdump-ada-spec as a starting point. 
While the binding will compile cleanly, the client code gets a 
compilation error, "dynamically tagged expression not allowed", when 
trying to set up the declarations to utilize it.

Stripping out a test case, I see that it has nothing to with the C++ 
binding per se, but it's an Ada issue that's flummoxing me.  Here's the 
test code:

procedure Dyty_Test is

    type Class_Type is tagged limited record
       null;
    end record;

    function New_Class_Instance return Class_Type'Class;

    Conn : Class_Type := New_Class_Instance;

    function New_Class_Instance return Class_Type'Class is
    begin
       -- Just a stub
       return New_Class_Instance;
    end New_Class_Instance;

begin
    null;
end Dyty_Test;

The Class_Type definition MUST be a tagged limited record to correspond 
to the C++ class, and the New_Class_Instance function (the constructor) 
MUST return a class-wide instance of that type.  (There are 
corresponding C++ pragmas as well for these, but the error is the same 
whether they're present or not.)

The error is on the declaration of "Conn", with the error occurring on 
the invocation of the initializing New_Class_Instance function. I'm just 
not understanding something here.

I've tried a number of variations, but these have more or less become 
guesswork, and so it's time to ask for help :-)


Thanks.

Marc A. Criley
McKae Technologies
www.mckae.com