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,4576669b9167cd1d
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: NVRAM or how can I enforce a range check in Ada83.
Date: 1996/11/18
Message-ID: <dewar.848351899@merv>#1/1
X-Deja-AN: 197329972
references: <9611150709.AA09539@algol.ocag.ch> <328DE73D.581B@lmtas.lmco.com>
 <dewar.848229223@merv> <E11BHD.8yA@world.std.com>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-11-18T00:00:00+00:00
List-Id: <comp.lang.ada>


Bob Duff said

"This is not right.  1.1.3(1,4) say, "A conforming implementation shall
... Identify all programs or program units that contain errors ...".
Well, to me, that seems to imply that the implementation has to give
some indication on errors -- I would call that an "error message"."


identify = some indication of an error = pretty vague.

For example, a compiler is conforming if it says the following:

In accordance with 1.1.3(1,4), this compiler identifies program units
that contain errors by not generating an object file for any such units.