Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!igor!rutabaga!jls From: jls@rutabaga.Rational.COM (Jim Showalter) Newsgroups: comp.lang.ada Subject: Re: Pre-condition vs. Post-condition Message-ID: Date: 27 Mar 91 03:12:24 GMT References: <20600091@inmet> <23141@as0c.sei.cmu.edu> <2918@sparko.gwu.edu> <5070@goanna.cs.rmit.oz.au> Sender: news@Rational.COM Lines: 17 >I would rather see features that help people detect or avoid the error >of using an uninitialised variable rather than features which define >the problem away. I think we disagree here. I don't view this: type Foo is Integer := 10; Bar : Foo; as producing an uninitialized variable. I view it as initializing a variable to a value deemed (for whatever reason) to be a good value. -- ***** DISCLAIMER: The opinions expressed herein are my own. Duh. Like you'd ever be able to find a company (or, for that matter, very many people) with opinions like mine. -- "When I want your opinion, I'll read it in your entrails."