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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!su-sierra.arpa!Bryan
From: Bryan@SU-SIERRA.ARPA (Doug Bryan)
Newsgroups: net.lang.ada
Subject: representation of subtypes??
Message-ID: <8604050731.AA21641@ucbvax.berkeley.edu>
Date: Sat, 5-Apr-86 02:18:18 EST
Article-I.D.: ucbvax.8604050731.AA21641
Posted: Sat Apr  5 02:18:18 1986
Date-Received: Tue, 8-Apr-86 05:13:02 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


Consider

	type Int is range -2E9 .. 2E9;
	subtype Small_Int is Int range -32_000 .. 32_000;

May Int'Size and Small_Int'Size yield different values?  Namely,
may a subtype have a different representation that its base type?
Finally, may a qualified expression change the representation of
its operand?  

Consider

	type Fl is digits 12;
	subtype Small_Fl is Fl digits 6;

	F : Fl := 0.333333333333;
	X : Small_Fl := Small_Fl'(F);

May a qualified expression change the value of its operand?

doug
-------