Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!ICSC.UCI.EDU!young
From: young@ICSC.UCI.EDU (Michal Young)
Newsgroups: net.lang.ada
Subject: Re: Production Quality Ada Compiler Criteria
Message-ID: <8604160549.AA29131@ucbvax.berkeley.edu>
Date: Wed, 16-Apr-86 04:57:55 EST
Article-I.D.: ucbvax.8604160549.AA29131
Posted: Wed Apr 16 04:57:55 1986
Date-Received: Thu, 17-Apr-86 01:41:00 EST
References: <8604151812.AA02928@aerospace.arpa>
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 8

> 5.6.3    (M)  The compiler shall issue a warning message for violation of a
>		constraint exception which is always raised at run-time.

A compiler meeting this requirement must solve the halting problem.  ;-)   

--Michal Young
  Arpa/CSnet:  young@uci
  U.C. Irvine