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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.129.76.88 with SMTP id z85mr26850095ywa.28.1499189690007;
        Tue, 04 Jul 2017 10:34:50 -0700 (PDT)
X-Received: by 10.36.23.213 with SMTP id 204mr1074503ith.8.1499189689970; Tue,
 04 Jul 2017 10:34:49 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!v31no2347600qtb.0!news-out.google.com!s132ni2653itb.0!nntp.google.com!188no1144220itx.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 4 Jul 2017 10:34:49 -0700 (PDT)
In-Reply-To: <ojff01$12ul$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.92.25;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.92.25
References: <a9316065-923c-439e-9176-8f3eb469c601@googlegroups.com>
 <oijivk$m72$1@franka.jacob-sparre.dk>
 <82a59ee9-8d55-4c73-9daf-e9f7d9ab8a8f@googlegroups.com>
 <oj48eg$lc9$1@franka.jacob-sparre.dk> <oj4ubr$190j$1@gioia.aioe.org>
 <oj645n$iq3$1@franka.jacob-sparre.dk>
 <a1bd4695-00ff-49a8-a07a-84ebdb043202@googlegroups.com>
 <ojff01$12ul$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <12f90584-ec4b-41bf-a8db-dcc83f9ea4ea@googlegroups.com>
Subject: Re: derived formal types and known discriminants
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 04 Jul 2017 17:34:49 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: news.eternal-september.org comp.lang.ada:47278
Date: 2017-07-04T10:34:49-07:00
List-Id: <comp.lang.ada>

On Tuesday, July 4, 2017 at 1:09:57 AM UTC-6, Dmitry A. Kazakov wrote:
> 
> BTW, if discriminants were abstracted as they should have been, that 
> would be the way to implement constructors with parameters. You could 
> declare a parameter as a public discriminant non-existing in the actual 
> implementation and the type user would have to supply it when declaring 
> an object.

Hm, that is an interesting idea.