From: sb463ba@l1-hrz.uni-duisburg.de (Georg Bauhaus)
Subject: private "subtype"s
Date: 2000/10/09
Date: 2000-10-09T00:00:00+00:00 [thread overview]
Message-ID: <8rsubg$ka7$1@news-hrz.uni-duisburg.de> (raw)
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
next reply other threads:[~2000-10-09 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-09 0:00 Georg Bauhaus [this message]
2000-10-09 0:00 ` private "subtype"s Ted Dennison
2000-10-10 0:00 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox