From: Julian Leyh <julian@vgai.de>
Subject: Re: Building limited types through nested creator functions
Date: Mon, 6 Feb 2012 04:44:55 -0800 (PST)
Date: 2012-02-06T04:44:55-08:00 [thread overview]
Message-ID: <38fd29a1-cb2a-453e-bd78-ab539b874de6@c20g2000vbb.googlegroups.com> (raw)
In-Reply-To: 40048c5a-ecf5-43e6-8c76-a294d0c333d1@l14g2000vbe.googlegroups.com
On 5 Feb., 23:03, Simon Belmont <sbelmont...@gmail.com> wrote:
> function Make_Outer (arg : Inner) return Outer is
> begin
> return Outer'(i => arg);
> end Make_Outer
how about: return Outer'(i => Make_Inner (arg)); ?
Make_Inner would have to handle an argument of type Inner..
next prev parent reply other threads:[~2012-02-06 12:44 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-05 22:03 Building limited types through nested creator functions Simon Belmont
2012-02-06 12:44 ` Julian Leyh [this message]
2012-02-06 19:11 ` Shark8
2012-02-06 22:33 ` Simon Belmont
2012-02-07 0:03 ` Adam Beneschan
2012-02-07 0:27 ` Simon Belmont
2012-02-07 0:53 ` Adam Beneschan
2012-02-07 2:19 ` Simon Belmont
2012-02-07 9:10 ` Dmitry A. Kazakov
2012-02-07 10:58 ` Georg Bauhaus
2012-02-07 13:25 ` Dmitry A. Kazakov
2012-02-07 14:43 ` Yannick Duchêne (Hibou57)
2012-02-07 15:08 ` Dmitry A. Kazakov
2012-02-07 17:04 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox