Re: GNAT bug - still in 2010?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 27 Paź, 18:11, "Alexander S. Mentis" <f...@invalid.invalid> wrote:

> Yes, under Windows it demonstrates the same behavior.

Thank you. It is a real shame.

I thought that it might be possible to work around the problem with a
mix-in - that is, instead of deriving the protected type from
interface, move the interface down as a component of the protected
type. The additional type derived from the interface would take the
access discriminant pointing to the enclosing protected object and
delegate dispatching calls to the protected object.
Something like this:

   package P is
      type My_Interface is limited interface;
      procedure Do_Something (X : in out My_Interface) is abstract;
   end P;

   type My_Protected;
   type My_Interface_Mixin (Parent : access My_Protected) is
     new P.My_Interface with null record;

   --  the top-level protected type is no longer
   --  derived from My_Interface...:
   protected type My_Protected is
      procedure Do_Something;
   private
      --  ...and instead the derived type is now here,
      --  bound to the enclosing object:
      Mixin : My_Interface_Mixin (My_Protected'Access);
   end My_Protected;

   overriding
   procedure Do_Something (X : in out My_Interface_Mixin) is
   begin
      --  delegate to the enclosing protected object
      X.Parent.all.Do_Something;
   end Do_Something;

   protected body My_Protected is
      procedure Do_Something is
      begin
         null;
      end Do_Something;
   end My_Protected;


Guess what? The compiler crashes again. Does it deserve a distinct bug
report?

In any case, I would like to ask you whether the above approach makes
sense as a programming technique. It does not compile :-), but I would
like to know if from the idiomatic point of view it is constructed
properly.
What bothers me is whether it is possible to declare overriding
operation Do_Something for My_Interface_Mixin after the completion of
My_Protected - that is, isn't My_Interface_Mixin already frozen there?

(what a mess)

--
Maciej Sobczak * http://www.inspirel.com