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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5d794d299ccf85ec,start
X-Google-Attributes: gid103376,public
From: sb463ba@l1-hrz.uni-duisburg.de (Georg Bauhaus)
Subject: private "subtype"s
Date: 2000/10/09
Message-ID: <8rsubg$ka7$1@news-hrz.uni-duisburg.de>#1/1
X-Deja-AN: 679383197
Organization: Gerhard-Mercator-Universitaet - Gesamthochschule Duisburg
Newsgroups: comp.lang.ada
Date: 2000-10-09T00:00:00+00:00
List-Id: <comp.lang.ada>

A similar question has been partially answerd a while
ago by M. Heaney, in the sense that something
like the following code is not possible. But why?

package Whoops is  -- illegal!

   subtype Constr is private;
   --  [[Constr]] is constrained, but the constraints need
   -- not be known outside

private
   subtype Constr is Natural range 0..99;
end Whoops;

Georg Bauhaus