comp.lang.ada
 help / color / mirror / Atom feed
From: eric@burdvax.UUCP (Eric Marshall)
Subject: Re: Exception handling question
Date: Thu, 9-Oct-86 09:38:15 EDT	[thread overview]
Date: Thu Oct  9 09:38:15 1986
Message-ID: <2737@burdvax.UUCP> (raw)
In-Reply-To: 8610072133.AA10009@ucbvax.Berkeley.EDU


	What is the current interpretation of the posted program?

	One of the compilers I tested it on detected an error on the
'raise;' statement, and gave a reference to LRM paragraph 11.3.3.
Reading this paragraph, it seems to say that the posted program
is illegal, and the compiler is correct. The LRM paragraph says

	the raise statement with no exception name is only allowed in
	an exception handler, but not in the sequence of statements of
	a subprogram, ... enclosed by the handler.

All of these additional constructs can only be introduced by
a block statement. The paragraph never explicitly addresses the
raising of the exception in the statements of the block, therefore
it seems the posted program is indeed illegal.
-- 


Eric Marshall
System Development Corporation, a Burroughs Company
P.O. Box 517
Paoli, PA. 19301
(215) 648-7223

USENET: sdcrdcf!burdvax!eric
        {sjuvax,ihnp4,akgua,cadre}psuvax1!burdvax!eric
ARPANET: PAYTON@BBNG

  reply	other threads:[~1986-10-09 13:38 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1986-10-02 21:03 Exception handling question Russ Holden
1986-10-06 17:01 ` Eric Marshall
1986-10-07 19:40   ` John B. Goodenough
1986-10-09 13:38     ` Eric Marshall [this message]
1986-10-13 11:21       ` Jan Kok
1986-10-25  0:24 ` stt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox