From: AdaMagica <christoph.grein@eurocopter.com>
Subject: Re: Defaults for formal subprogram
Date: Wed, 28 Apr 2010 03:31:53 -0700 (PDT)
Date: 2010-04-28T03:31:53-07:00 [thread overview]
Message-ID: <9ac3f3db-819c-4232-b580-30a67411dd70@c21g2000yqk.googlegroups.com> (raw)
In-Reply-To: 629d4f19-6d99-4c4e-bffa-2a2b287410eb@u34g2000yqu.googlegroups.com
> procedure Aaa is
>
> type Proc_Ptr is access procedure;
>
> X : Proc_Ptr;
>
> generic
> with procedure Bbb is X.all;
> -- aaa.adb:8:31: expect valid subprogram name as default
> package Pkg is
> end Pkg;
AARM 12.6(5.b) The evaluation of the default_name takes place during
the elaboration of each instantiation that uses the default, as
defined in 12.3, “Generic Instantiation”.
So I don't see a problem.
next prev parent reply other threads:[~2010-04-28 10:31 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-28 9:57 Defaults for formal subprogram Maxim Reznik
2010-04-28 10:31 ` AdaMagica [this message]
2010-04-28 10:53 ` Ludovic Brenta
2010-04-28 10:56 ` Ludovic Brenta
2010-04-28 21:12 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox