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,38085414feb278a5
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Beaujolais prize question
Date: 1997/08/20
Message-ID: <dewar.872088798@merv>#1/1
X-Deja-AN: 268337714
References: <9708192203.AA10874@plato.ds.boeing.com>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-08-20T00:00:00+00:00
List-Id: <comp.lang.ada>


scott said

<<I do remember the prize was about finding loopholes
in the language where you could 'add' a 'use' clause to
a correct program, and it would then not be correct (at runtime)
anymore. Or something like that.>>

That's right. The design point of Ada is that adding a use clause can make
a program illegal, but should not be able to change its meaning.

There is at least one violation in Ada 83, it is quite subtle. If you
don't know it, you will find it a challenge to concoct the example :-)