Re: Odd error with access to derived types

[Stephen Leake <stephen_leake@acm.org>]

A.Imran <me5@privacy.net> writes:

> Thank you for looking at the code.  Here is the error message:
> 
> ~> gnatmake test
> gcc -c test.adb
> parent-child.ads:10:09: "derived_access" conflicts with declaration at
> line 6
> gnatmake: "test.adb" compilation error

That is certainly a confusing error message. I'd call it a compiler
bug; submit this to report@gnat.com.

As for working around it, this compiles:
package parent is

        task type a_task;

        type base_type is abstract tagged limited record
                dummy_task : a_task;
        end record;
        type Task_Access is access Base_Type'Class;

end parent;
package parent.child is

        type derived_type is new base_type with private;

--        type Derived_Access is access derived_type;

private

        type derived_type is new base_type with record
                dummy : boolean;
        end record;

end parent.child;

with parent.child;
procedure test
is
   My_Task : Parent.Task_Access := new Parent.Child.Derived_Type;
begin
        null;
end test;



-- 
-- Stephe