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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cca!mirror!ishmael!ada-uts!stt
From: stt@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: Follow-up to my original posting (R
Message-ID: <57900053@ada-uts>
Date: Mon, 23-Nov-87 14:18:00 EST
Article-I.D.: ada-uts.57900053
Posted: Mon Nov 23 14:18:00 1987
Date-Received: Sun, 29-Nov-87 15:52:58 EST
References: <22@dim.sm.unisys.com>
Nf-ID: #R:dim.sm.unisys.com:-2200:ada-uts:57900053:000:371
Nf-From: ada-uts!stt    Nov 23 14:18:00 1987
List-Id: <comp.lang.ada>


A scalar value doesn't *have* a "subtype"; it belongs to
each subtype of its type which includes the value in its range.

The only difference between
"base type" and "type" has to do with subtype issues, where
"base type" is really "base subtype," which is the subtype
with the maximal range supported by the type.

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138