From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: Defect with formal package parameters
Date: Fri, 20 Jun 2008 00:48:36 +0200
Date: 2008-06-20T00:48:37+02:00 [thread overview]
Message-ID: <485ae245$0$7542$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <78a72b57-bd9f-45b1-bd6c-65bc855cb831@y38g2000hsy.googlegroups.com>
Eric Hughes wrote:
> GNAT 2008 (just installed) fails to compile the following example,
...
> =======================================================
> package Foo is
> pragma Elaborate_Body( Foo ) ;
>
> generic
> with procedure Operation is <> ;
> package Signature is end ;
>
> procedure Operation_Actual is null ;
> package Impl is new Signature( Operation => Operation_Actual ) ;
>
> generic
> with package S is new Signature( others => <> ) ;
> -- with package S is new Signature( <> ) ;
> package Module is end ;
>
> package M is new Module( S => Impl ) ;
> end ;
> =======================================================
Another workaround:
package Foo is
pragma Elaborate_Body( Foo ) ;
generic
with procedure Operation is <> ;
package Signature is end ;
procedure Operation is null ;
package Impl is new Signature ;
generic
with package S is new Signature( others => <> ) ;
package Module is end ;
package M is new Module( S => Impl ) ;
end ;
next prev parent reply other threads:[~2008-06-19 22:48 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-19 15:14 Defect with formal package parameters Eric Hughes
2008-06-19 19:49 ` Simon Wright
2008-06-21 18:42 ` Eric Hughes
2008-06-19 22:48 ` Georg Bauhaus [this message]
2008-06-20 17:25 ` Eric Hughes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox