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-Received: by 2002:a6b:9591:: with SMTP id
 x139-v6mr4277857iod.106.1527821404287;
        Thu, 31 May 2018 19:50:04 -0700 (PDT)
X-Received: by 2002:aca:5349:: with SMTP id
 h70-v6mr234174oib.11.1527821404183;
 Thu, 31 May 2018 19:50:04 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no1540550itb.0!news-out.google.com!b185-v6ni1529itb.0!nntp.google.com!v8-v6no1526447itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 31 May 2018 19:50:03 -0700 (PDT)
In-Reply-To: <33e69ed1-d4ba-4fd9-9d82-5b7cb1971596@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.16.86
References: <ecd599f8-bb04-4304-9242-1c88edee4a4e@googlegroups.com>
 <pekj85$tn0$1@franka.jacob-sparre.dk> <pelmg4$v5t$1@gioia.aioe.org>
 <pemts8$1hb$1@franka.jacob-sparre.dk> <pemv0i$1clu$1@gioia.aioe.org>
 <pemvqj$27l$1@franka.jacob-sparre.dk> <peockk$1g59$1@gioia.aioe.org>
 <pepu3s$sdm$1@franka.jacob-sparre.dk>
 <33e69ed1-d4ba-4fd9-9d82-5b7cb1971596@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c2525088-2de1-41f4-9003-f3a9b909a03c@googlegroups.com>
Subject: Re: about inheritance of subtypes and entities (such as constants)
 related to a type in the same package
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Fri, 01 Jun 2018 02:50:04 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:52832
Date: 2018-05-31T19:50:03-07:00
List-Id: <comp.lang.ada>

On Thursday, May 31, 2018 at 5:39:52 PM UTC-6, Mehdi Saada wrote:
> The idea was to define for a given (private) type, a series of subtypes with different type invariant, or with or without unknown discriminants (the box), to provide specific variant of the same ADT.

Can you give an example?
Something like Stack, Empty-Stack, Integer-Stack? I'm not entirely sure I get what you're saying, or what your intended goal is.