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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,55f243f32a97dc7e
X-Google-Attributes: gid103376,public
From: tmoran@bix.com (Tom Moran)
Subject: Re: Elaboration_check For Instantiations
Date: 1997/10/29
Message-ID: <345774b3.1434102@SantaClara01.news.InterNex.Net>#1/1
X-Deja-AN: 285810271
References: <1997Oct23.205254.25272@nosc.mil> <dewar.877998104@merv>
 <1997Oct28.192057.29122@nosc.mil> <878068940.763599@wagasa.cts.com>
 <1997Oct28.221806.2805@nosc.mil> <34573CCF.4DE4@pseserv3.fw.hac.com>
Organization: InterNex Information Services 1-800-595-3333
Newsgroups: comp.lang.ada
Date: 1997-10-29T00:00:00+00:00
List-Id: <comp.lang.ada>


>> never been happy as a programmer when a compiler says, "I'm smarter 
>> than you are and I'm not going to allow you to do what you want."  

>This is the argument many C programmers use against Ada.  Those that
>really understand C AND never make mistakes write working programs.
  Unless the compiler is buggy, the fact it won't allow something the
programmer wrote is proof the programmer either did not understand the
language or made a mistake writing it.  So the compiler has
demonstrated that it is, in fact, smarter than the programmer. ;)