From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 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 List-Id: >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."