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.1 required=5.0 tests=BAYES_40,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 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 List-Id: > 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