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!seismo!cmcl2!yale!husc6!panda!genrad!decvax!ucbvax!A.ISI.EDU!GOODENOUGH
From: GOODENOUGH@A.ISI.EDU (John B. Goodenough)
Newsgroups: net.lang.ada
Subject: Re: Exception handling question
Message-ID: <8610072133.AA10009@ucbvax.Berkeley.EDU>
Date: Tue, 7-Oct-86 15:40:22 EDT
Article-I.D.: ucbvax.8610072133.AA10009
Posted: Tue Oct  7 15:40:22 1986
Date-Received: Wed, 8-Oct-86 07:33:26 EDT
References: <2729@burdvax.UUCP>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

A test to check that the proper exception is raised (and handled) within the
block will be added to the ACVC (quite possibly, in the next version, which
is due for release in December).  This kind of example is helpful in
improving the quality of the ACVC and the behavior of validated compilers.
-------