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,7fd5a5da28dace78
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Renaming Fixed Point Mutiplicative operator in Ada 95
Date: 1998/05/21
Message-ID: <dewar.895755330@merv>#1/1
X-Deja-AN: 355226582
References: <3561F32B.2F0B@innotts.co.uk>
 <matthew_heaney-ya023680001905982254370001@news.ni.net>
 <dewar.895707841@merv>
 <matthew_heaney-ya023680002005981908570001@news.ni.net>
 <6k0na0$po4@gcsin3.geccs.gecm.com>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 895755412 3125 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-05-21T00:00:00+00:00
List-Id: <comp.lang.ada>


John said

<<Are you suggesting that in the example given, if LEFT and RIGHT are both
100, you get no exception and are returned a valid value (i.e. in the
range -1000.0 to 1000.0?

If no exception is raised, how do you tell whether the limits of a types
range have been exceeded or not?
>>


No, of course he is not suggesting this, he is just being legalistic, if
you write

	x := a * b;

where all variables are the same fixed-point type, then technically and
formally, a * b cannot raise an exception, but it is indeed the case
that the following subtype conversion can raise an exception.

Of course if you write your own operator, this legalistic distinction
disappears, and in any case is completely irrelevant to the discussion!