From: "Paweł 'Nivertius' Płazieński" <nivertius@gmail.com>
Subject: Re: Access to function returning class-wide type
Date: Fri, 22 Aug 2008 09:34:17 +0200
Date: 2008-08-22T09:34:17+02:00 [thread overview]
Message-ID: <g8lqeg$aid$1@registered.motzarella.org> (raw)
In-Reply-To: saffln97j381$.1xderlppcvf4u$.dlg@40tude.net
Dmitry A. Kazakov wrote:
> Why then N is a parameter? When each type knows its N you don't need to
> pass it back.
To be perfectly honest, the parameter in my specific case is not a Natural
[it was just an example], but complex type. Type of the produced object is
determined on one part and the distinct type is built on the whole object.
Sorry for misleading you, but for natural it also can be the case:
When the condition is N in 1 .. 12, type should be Derived_1 build on that
N.
--
Pawe� P�azie�ski aka Nivertius
"In the end, there will be Ada, XML and gzip"
next prev parent reply other threads:[~2008-08-22 7:34 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-08-21 10:13 Access to function returning class-wide type Paweł 'Nivertius' Płazieński
2008-08-21 10:33 ` Paweł 'Nivertius' Płazieński
2008-08-21 11:02 ` Dmitry A. Kazakov
2008-08-21 11:56 ` Paweł 'Nivertius' Płazieński
2008-08-21 13:34 ` Dmitry A. Kazakov
2008-08-22 4:53 ` Randy Brukardt
2008-08-22 23:50 ` Randy Brukardt
2008-08-21 12:01 ` Georg Bauhaus
2008-08-21 13:01 ` Paweł 'Nivertius' Płazieński
2008-08-21 13:50 ` Dmitry A. Kazakov
2008-08-21 19:30 ` Paweł 'Nivertius' Płazieński
2008-08-21 20:56 ` Dmitry A. Kazakov
2008-08-22 7:34 ` Paweł 'Nivertius' Płazieński [this message]
2008-08-21 17:02 ` Adam Beneschan
2008-08-21 19:22 ` Paweł 'Nivertius' Płazieński
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox