Re: "limited with" packages

[Adam Beneschan <adam@irvine.com>]

On Jun 20, 9:27 am, adam.betts...@gmail.com wrote:
> Adam Beneschan wrote:
> > On Jun 20, 6:20 am, adam.betts...@gmail.com wrote:
> > > I have the following code:
>
> > > ---------------------------------------------------------------------------------------------------------------------------
> > > with my_package; use my_package;
> > > package other_package is
> > >    type type_one (<>) is private;
> > >    type type_one_pointer is access constant type_one'class;
>
> > >    function create (t_2: type_two'class) return type_one'class;
> > > ........
> > > end other_package;
> > > ---------------------------------------------------------------------------------------------------------------------------
> > > limited with other_package;
> > > package my_package is
> > >   type type_two is private;
>
> > >   function get_type_one (t_2: type_two'class) return
> > > other_package.type_one_pointer;
> > > .........
> > > end my_package
> > > ---------------------------------------------------------------------------------------------------------------------------
> > > package body my_package is
>
> > > function get_type_one (t_2: type_two'class) return
> > > other_package.type_one_pointer is
> > >   t_one_ptr : other_package.type_one_pointer;
> > > begin
> > >   t_one_ptr := new
> > > other_package.type_one'class'( other_package.create(t_2) );
> > > end get_type_one;
>
> > > end my_package;
> > > ---------------------------------------------------------------------------------------------------------------------------
>
> > > However, I'm getting the error:"create" not declared in
> > > "other_package"
>
> > > which I do not understand as it does not complain about the types
> > > (type_one and type_one_pointer). Maybe it is my misunderstanding of
> > > the "limited with" clause. Any help much appreciated.
>
> > See 10.1.1(12.1-12.3).  "limited with" gives you a limited view of a
> > package; the only things you get in the limited view are types (and
> > types inside nested packages), plus those types are viewed as if they
> > were incomplete types, in essence.  You don't get functions like
> > "create".  Put a regular "with other_package" on my_package's body:
>
> > with other_package;
> > package body my_package is......
>
> >                        -- Adam
>
> However, it now seems I have another issue, with similar code...
>
> ---------------------------------------------------------------------------------------------------------------------------
> with my_package; use my_package;
> package other_package is
>   type type_one (<>) is private;
>
>   function create (t_2: type_two'class) return type_one'class;
>  ........
> end other_package;
>
> ---------------------------------------------------------------------------------------------------------------------------
> limited with other_package;
> package my_package is
>    type type_two is private;
>
>    procedure get_type_one (t_2: in out type_two'class; t_1: out
> other_package.type_one'class);
> .........
> end my_package
> ---------------------------------------------------------------------------------------------------------------------------
> package body my_package is
>  procedure get_type_one (t_2: in out type_two'class; t_1: out
> other_package.type_one'class);
>  begin
>    t_1 := create(t_2);
>  end get_type_one;
> end my_package;
>
> ---------------------------------------------------------------------------------------------------------------------------
>
> This time the compiler is complaining that:
> 1) procedure get_type_one in the package body of my_package is "not
> fully conformant with declaration" in the spec and that,
> 2) the type of t_1 does not match

I think that's a compiler bug.

                   -- Adam