From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1e36228aae0595da
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news.motzarella.org!motzarella.org!not-for-mail
From: =?ISO-8859-2?Q?Pawe=B3_=27Nivertius=27_P=B3azie=F1ski?=
 <nivertius@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Access to function returning class-wide type
Date: Fri, 22 Aug 2008 09:34:17 +0200
Organization: A noiseless patient Spider
Message-ID: <g8lqeg$aid$1@registered.motzarella.org>
References: <g8jf3n$e00$1@registered.motzarella.org>
 <48ad5922$0$20706$9b4e6d93@newsspool4.arcor-online.net>
 <g8joue$kc6$1@registered.motzarella.org>
 <9bmxv7t985ke$.p14upop2x80z.dlg@40tude.net>
 <g8kg18$48s$1@registered.motzarella.org>
 <saffln97j381$.1xderlppcvf4u$.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2
Content-Transfer-Encoding: 8Bit
X-Trace: feeder.motzarella.org
 U2FsdGVkX18kaeb4dgqUNJJWhCd2T1m3DiQuYnEa8f/y/Pu2Fd4HLRYBMLykUUrREj5UXrIbvGJ/p1c663AJ+u4Ih6nQvjn/f2tvdWznRXA+GlzGBrwvneKIJBHMTjwP0nxq0rq21Jtbqo+w4bnpYg==
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Fri, 22 Aug 2008 07:38:56 +0000 (UTC)
X-Auth-Sender: U2FsdGVkX183Ki3bfzhp0o5Kk+il9CdGzgZIqN49ec3GTccViWGMcw==
Cancel-Lock: sha1:IoT3jvOyEXZFSZvL//NgDdZQDI8=
User-Agent: KNode/0.10.9
Xref: g2news2.google.com comp.lang.ada:7479
Date: 2008-08-22T09:34:17+02:00
List-Id: <comp.lang.ada>

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"