Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!husc6!encore!pierson From: pierson@encore.com (Dan L. Pierson) Newsgroups: comp.lang.eiffel Subject: Re: Exceptions and Assertions Message-ID: Date: 12 Sep 90 20:26:04 GMT References: <1990Sep7.032121.6456@bony1.uucp> <14831@yunexus.YorkU.CA> <1990Sep10.073627.17213@tukki.jyu.fi> Sender: news@Encore.COM Organization: Encore Computer Corporation Lines: 20 In-reply-to: sakkinen@tukki.jyu.fi's message of 10 Sep 90 07:36:27 GMT In article <1990Sep10.073627.17213@tukki.jyu.fi> sakkinen@tukki.jyu.fi (Markku Sakkinen) writes: The extreme opposite to Eiffel w.r.t. exceptions is Modula-3, in which exceptions are employed not only in "general" but also in "normal" cases: an EXIT from a loop and a RETURN from a procedure cause exceptions. Not exactly. EXIT and RETURN are defined in terms of exceptions in order to clearly and concisely specify their interaction with other (real) exceptions. They come complete with restrictions which guarantee that a compiler can produce "normal" (i.e. similar to C) code for them. This is explained in the second paragraph under EXIT (top of page 23) of the revised report. -- dan In real life: Dan Pierson, Encore Computer Corporation, Research UUCP: {talcott,linus,necis,decvax}!encore!pierson Internet: pierson@encore.com