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,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!rochester!pt.cs.cmu.edu!sei!Goodenough
From: Goodenough@sei.cmu.edu
Newsgroups: comp.lang.ada
Subject: Re: nasty language rules for fixed_type'last
Message-ID: <8383@aw.sei.cmu.edu>
Date: 30 Jan 89 15:45:59 GMT
References: <8901271633.AA16167@ti.com>
Sender: jbg@sei.cmu.edu
In-reply-to: linnig@skvax1.csc.ti.com's message of 27 Jan 89 16:24:00 GMT
List-Id: <comp.lang.ada>


In article nasty language rules for fixed_type'last of 27 Jan 89 16:24:00 GMT
linnig@skvax1.csc.ti.com writes:

>I was astonished to learn that it is possible to raise an exception
>by using 'FIRST or 'LAST on a fixed point type.  

Ada Commentary AI-00174 forbids an implementation from raising an exception
due to the evaluation of 'LAST or due to an assignment operation like that
given in your example.  This commentary has been approved by the Ada
Rapporteur Group and is to be considered for approval by the ISO standards
group for Ada (WG9) at its next meeting in June 1989.

John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391