-- by40001.ada -- -- Grant of Unlimited Rights -- -- Ada Core Technologies Inc. (AdaCore) holds unlimited rights in the -- software and documentation contained herein. Unlimited rights are -- the same as those granted by the U.S. Government for older parts of -- the Ada Conformity Assessment Test Suite, and are defined in DFAR -- 252.227-7013(a)(19). By making this public release, AdaCore intends -- to confer upon all recipients unlimited rights equal to those held by -- the Ada Conformity Assessment Authority. These rights include rights -- to use, duplicate, release or disclose the released technical data and -- computer software in whole or in part, in any manner and for any purpose -- whatsoever, and to have or permit others to do so. -- -- DISCLAIMER -- -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR -- DISCLOSED ARE AS IS. ADACORE MAKES NO EXPRESS OR IMPLIED WARRANTY AS -- TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE SOFTWARE, -- DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE OR -- DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A -- PARTICULAR PURPOSE OF SAID MATERIAL. -- -------------------------------------------------------------------------- --* -- COPYRIGHT: -- Ada Core Technologies, Inc. -- -- AUTHOR: -- Javier Miranda -- -- OBJECTIVE: -- Check AI-287 (Limited Aggregates) for record aggregates. -- -- This test checks that the box can not be used in positional aggregates -- -- CHANGE HISTORY: -- 9 FEB 2004 Initial Version --! procedure BY40002 is type My_Rec is record Info : Integer := 33; end record; type TR is array (1 .. 4) of My_Rec; P20 : TR := (<>, (Info => 2), <>, (Info => 4)); -- ERROR -- Box notation only allowed with named notation begin null; end BY40002;