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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,deafd6d94d731fd3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-11-18 10:53:38 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!gatech!udel!news.mathworks.com!news.duke.edu!eff!blanket.mitre.org!linus.mitre.org!linus!mbunix!eachus
From: eachus@spectre.mitre.org (Robert I. Eachus)
Newsgroups: comp.lang.ada
Subject: Re: "Beaujolais Effect" -- what is it?
Date: 17 Nov 94 13:10:31
Organization: The Mitre Corp., Bedford, MA.
Message-ID: <EACHUS.94Nov17131031@spectre.mitre.org>
References: <CzF2oo.5wH@swlvx2.msd.ray.com>
NNTP-Posting-Host: spectre.mitre.org
In-reply-to: jgv@swl.msd.ray.com's message of Thu, 17 Nov 1994 14:53:12 GMT
Date: 1994-11-17T13:10:31+00:00
List-Id: <comp.lang.ada>


    I'll take a shot.  Jean Ichbiah offered a bottle of Beaujolais to
the first person to find an Ada 83 program where adding a use clause
chnged the meaning of the program without changing the legality.

    I think Bob Duff finally managed to contrive an example, but in
practice Beaujolais effects are not a problem in Ada 83.  Tucker and
company have devoted a lot of attention to minimizing them in Ada 9X
as well.

     There are many Beaujolais type effects in both Ada 83 and Ada 9X
that can occur if a with clause is added, but with clauses should be
expected to change things. For example, a procedure named in a with
clause will hide a procedure with the same profile made (potentially)
visible by a use clause.


					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...