comp.lang.ada
 help / color / mirror / Atom feed
From: adam.betts155@gmail.com
Subject: Re: "limited with" packages
Date: Thu, 21 Jun 2007 01:13:04 -0700
Date: 2007-06-21T01:13:04-07:00	[thread overview]
Message-ID: <1182413584.488190.39880@k79g2000hse.googlegroups.com> (raw)
In-Reply-To: <1182364039.693013.20150@z28g2000prd.googlegroups.com>

On 20 Jun, 19:27, Anh Vo <anhvofrc...@gmail.com> wrote:
> On Jun 20, 11:13 am, Adam Beneschan <a...@irvine.com> wrote:
>
> > On Jun 20, 9:27 am, adam.betts...@gmail.com wrote:
> > > 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.
>
> I am not sure about that. The first thing to correct correct the
> syntax error as marked below
>
> package body my_package is
>  procedure get_type_one (t_2: in out type_two'class; t_1: out
> other_package.type_one'class);  -- syntax error here!
>  begin
>    t_1 := create(t_2);
>  end get_type_one;
> end my_package;


Yeah sorry that was just a typo...I was just trying to produce a
minimal example from my rather complex code, so it got a bit sloppy.
In general my code compiles except for the error that I pointed out
above in my last post. I'm thinking it is a compiler bug




  parent reply	other threads:[~2007-06-21  8:13 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-06-20 13:20 "limited with" packages adam.betts155
2007-06-20 15:38 ` Adam Beneschan
2007-06-20 16:06   ` adam.betts155
2007-06-20 16:32     ` Adam Beneschan
2007-06-20 16:27   ` adam.betts155
2007-06-20 18:13     ` Adam Beneschan
2007-06-20 18:27       ` Anh Vo
2007-06-20 18:44         ` Adam Beneschan
2007-06-21  8:13         ` adam.betts155 [this message]
2007-06-22  5:10           ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox