Re: Ada 0x Wish List

[steve.folly@rdel.NOT-A-REAL.co.uk (Steve Folly)]

Well, let's jump on the bandwagon...  :-)


What about a way of declaring public parts of a package spec
that depend on private parts eg.

package P is
private
    type Derived_Object is new Base.Object with null record;
    function Overridden ( This: Derived_Object ) return Boolean;
public
   Instance : aliased Derived_Object;
end P;

For the users of P, they only need to know about Instance because
it may well be used in a heterogeneous collection where it's only
used via the interface defined in Base.

This would remind users of P that they shouldn't really be
defining their own instances of Derived_Objects.

Thoughts?

-- 
SF.