From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Partial generic instanciation
Date: Sat, 28 Oct 2006 09:03:52 -0400
Date: 2006-10-28T09:03:52-04:00 [thread overview]
Message-ID: <wccd58csibr.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 4543341b$0$7220$426a74cc@news.free.fr
Yves Bailly <kafka.fr@laposte.net> writes:
> generic
> type T_1 is private;
> type T_2 is private;
> package Pkg is
> -- ....
> end Pkg;
>
> Is it possible to declare a new package with something like :
>
> with Pkg;
> generic
> type TT is private;
> package Pkg_Int is new Pkg(T_1 => Integer, T_2 => TT);
No, not directly. But you can do this:
generic
type TT is private;
package Pkg_Int is
package P is new Pkg(T_1 => Integer, T_2 => TT);
end Pkg_Int;
- Bob
prev parent reply other threads:[~2006-10-28 13:03 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-28 10:41 Partial generic instanciation Yves Bailly
2006-10-28 13:03 ` Robert A Duff [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox