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,90f687f65a66617e
X-Google-Attributes: gid103376,public
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Simple ADA/C Question
Date: 1997/03/08
Message-ID: <1997Mar8.125033.1@eisner>#1/1
X-Deja-AN: 224002138
X-Nntp-Posting-Host: eisner.decus.org
References: <Pine.LNX.3.95.970225100418.10492A-100000@vf700f.msfc.nasa.gov>
 	<01bc23b2$ecc64960$64e2b8cd@p5120.bda>
 	<Pine.LNX.3.95.970226082729.7991A-100000@vf700f.msfc.nasa.gov>
 	<dewar.856972571@merv> <E6BCJK.2LL@thomsoft.com> <dewar.857350486@merv>
 	<E6Hw1p.JBB@thomsoft.com> <dewar.857486486@merv>
 	<JSA.97Mar5123247@alexandria> <dewar.857703307@merv>
 <JSA.97Mar7135754@alexandria> <dewar.857783465@merv>
X-Nntp-Posting-User: KILGALLEN
X-Trace: 857843445/25094
Organization: LJK Software
Newsgroups: comp.lang.ada
Date: 1997-03-08T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.857783465@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Jon said
> 
> <<"You mean Keith's 'assertion' version won't give an error at compile
> time - surely at runtime (assuming no pragma supress or some such)
> this will raise CE if violated".>>
> 
> Yes, but in such a case I feel it is *extremely* important to generate
> the diagnostic at compile time rather than at runtime.

For my money, one of the major advantages of Ada is the effect
of detecting more errors at compile time and fewer at run time.
Run-time detection raises the testing requirements to even less
achievable levels.

Larry Kilgallen