Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!decwrl!pa.dec.com!src.dec.com!gnelson
From: gnelson (Greg Nelson)
Newsgroups: comp.lang.modula3
Subject: Re: Local exceptions
Message-ID: <9105202243.AA28580@jumbo.pa.dec.com>
Date: 20 May 91 22:43:40 GMT
Lines: 15
In-Reply-To: Message of Mon, 20 May 91 14:50:07 PDT
    from stolfi (Jorge Stolfi)
    <9105202150.AA26760@jumbo.pa.dec.com>
To: m3
X-Folder-Carbon: sent


Jorge points out that I flubbed my example.  The question is, what
do you want to be the result of P(TRUE) after:

    PROCEDURE P(b: BOOLEAN) RAISES ANY = 
      EXCEPTION E;
      BEGIN
        IF b THEN 
          TRY P(NOT b) EXCEPT E: (* Skip *) END
        ELSE
          RAISE E
        END
      END P;