Xref: utzoo comp.object:1499 comp.lang.eiffel:1018
Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!cs.utexas.edu!sdd.hp.com!usc!elroy.jpl.nasa.gov!ames!haven!decuac!shlump.nac.dec.com!tkou02.enet.dec.com!diamond
From: diamond@tkou02.enet.dec.com (diamond@tkovoa)
Newsgroups: comp.object,comp.lang.eiffel
Subject: Re: Should a constructor do "work"?
Message-ID: <1865@tkou02.enet.dec.com>
Date: 23 Jul 90 05:14:18 GMT
References: <55236@microsoft.UUCP> <MOSS.90Jun15090015@ibis.cs.umass.edu> <WEX.90Jul18120747@dali.pws.bull.com> <372@eiffel.UUCP>
Reply-To: diamond@tkou02.enet.dec.com (diamond@tkovoa)
Followup-To: comp.object
Organization: Digital Equipment Corporation Japan , Tokyo
Lines: 13

In article <372@eiffel.UUCP> bertrand@eiffel.UUCP (Bertrand Meyer) writes:

[moderately long, perfectly correct suggestion about invariants deleted]

>Assume for example that 
>
>-- Bertrand Meyer

Oh no, then what would happen to Eiffel?   :-)

-- 
Norman Diamond, Nihon DEC     diamond@tkou02.enet.dec.com
This is me speaking.  If you want to hear the company speak, you need DECtalk.