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: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Simple ADA/C Question
Date: 1997/03/07
Message-ID: <dewar.857783465@merv>#1/1
X-Deja-AN: 223895354
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>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-03-07T00:00:00+00:00
List-Id: <comp.lang.ada>


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. A constraint error
may cause all sorts of peculiar effects (by silently terminating a task,
or by being caught by a when others exception handler).