try to avoid it. But what is it?
(from Tucker Taft) The term “Beaujolais Effect” comes from a prize (a bottle of Beaujolais) offered by Jean Ichbiah during the original Ada design process to anyone who could find a situation where adding or removing a single “use” clause could change a program from one legal interpretation to a different legal interpretation. (Or equivalently, adding or removing a single declaration from a “use”d package.) At least one bottle was awarded, and if the offer was still open, a few more might have been awarded during the Ada 9X process. However, thanks to some very nice analysis by the Ada 9X Language Precision Team (based at Odyssey Research Associates) we were able to identify the remaining cases of this effect in Ada 83, and remove them as part of the 9X process. The existing cases in Ada 83 had to do with implicit conversion of expressions of a universal type to a non-universal type. The rules in Ada 9X are subtly different, making any case that used to result in a Beaujolais effect in
