Path: utzoo!attcan!uunet!snorkelwacker!usc!ucsd!hub.ucsb.edu!eiffel!bertrand From: bertrand@eiffel.UUCP (Bertrand Meyer) Newsgroups: comp.lang.eiffel Subject: Re: Should a constructor do "work"? Message-ID: <368@eiffel.UUCP> Date: 17 Jul 90 02:10:01 GMT References: <55236@microsoft.UUCP> <518@tetrauk.UUCP> Organization: Interactive Software Engineering, Santa Barbara CA Lines: 17 From article <518@tetrauk.UUCP> by rick@tetrauk.UUCP (Rick Jones): > If a rescue clause traps an exception which results from a Create, the > reference on which the Create was called is not Void. This is true for > whatever reason the exception ocurred, including violating the Create's > preconditions . > > Is this little inconsistency going to be corrected in future? Yes with respect to our implementation. The language specification will specify this clearly for other implementors as well. -- -- Bertrand Meyer bertrand@eiffel.com