Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!ames!ucbcad!ucbvax!TAURUS.BITNET!amiram%virgo
From: amiram%virgo@TAURUS.BITNET.UUCP
Newsgroups: comp.lang.ada
Subject: Re: forwarded mail Ada bulletin board
Message-ID: <8706100552.AA08135@MATH.TAU.AC.IL>
Date: Wed, 10-Jun-87 02:52:37 EDT
Article-I.D.: MATH.8706100552.AA08135
Posted: Wed Jun 10 02:52:37 1987
Date-Received: Sat, 13-Jun-87 09:46:18 EDT
References: <550280738.0.MEANS@MACOMW.ARPA>
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 2

You misread the LRM. What it says is that the evealuation of the expression may
be optimized away, but the program MUST raise the exception.