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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Victor Porton <porton@narod.ru>
Newsgroups: comp.lang.ada
Subject: Type invariants and private extensions?
Date: Mon, 11 Sep 2017 22:51:18 +0300
Organization: Aioe.org NNTP Server
Message-ID: <op6pfu$h8h$1@gioia.aioe.org>
NNTP-Posting-Host: qUTqmJlZKcITHxg9FVl9Fw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@aioe.org
User-Agent: KNode/4.14.10
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:48011
Date: 2017-09-11T22:51:18+03:00
List-Id: <comp.lang.ada>

As far as I understand, type invariants cannot be applied to types with 
private extensions. Right?

It would be nice to create private extension types which would allow to use 
them only when certain boolean function on the parent type returns True.

Is anything like this possible?

-- 
Victor Porton - http://portonvictor.org