-- B95064A.ADA

--                             Grant of Unlimited Rights
--
--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
--     unlimited rights in the software and documentation contained herein.
--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
--     this public release, the Government intends to confer upon all 
--     recipients unlimited rights  equal to those held by the Government.  
--     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.  THE GOVERNMENT 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.
--*
-- CHECK THAT THE TYPE OF A DEFAULT EXPRESSION MUST BE THE SAME AS THE
-- BASE TYPE OF THE FORMAL PARAMETER.

-- GLH 6/18/85

PROCEDURE B95064A IS

     SUBTYPE STYPE IS INTEGER;
     TYPE DER_INT IS NEW INTEGER;
     TYPE ARR IS ARRAY (1..3) OF INTEGER;
     TYPE DER_ARR IS ARRAY (1..3) OF DER_INT;

     I_VAR   : INTEGER := 4;
     S_VAR   : STYPE := STYPE(I_VAR);
     DER_VAR : DER_INT := DER_INT(5);
     AR1     : ARR := (1,2,3);
     AR2     : ARRAY (1..3) OF INTEGER := (1,2,3);

     FUNCTION F (I : INTEGER) RETURN DER_INT IS
     BEGIN
          RETURN DER_INT(I);
     END F;

     TASK T IS

          ENTRY E1 (X : INTEGER := DER_VAR);    -- ERROR: INTEGER WITH
                                                -- DERIVED TYPE.

          ENTRY E2 (X : DER_INT := I_VAR + INTEGER(DER_VAR));  -- ERROR:
                                                -- DERIVED TYPE
                                                -- WITH INTEGER.

          ENTRY E3 (X : ARR := AR2);            -- ERROR: ARRAY TYPE
                                                -- WITH ANONYMOUS ARRAY.

          ENTRY E4 (X : DER_INT := AR1(1));     -- ERROR: DERIVED TYPE
                                                -- WITH INTEGER.

          ENTRY E5 (X : DER_INT := AR2'FIRST);  -- ERROR: DERIVED TYPE
                                                -- WITH INTEGER.

          ENTRY E6 (X : DER_ARR := AR1);        -- ERROR: ARRAY OF
                                                -- DERIVED WITH ARRAY
                                                -- OF INTEGER.

          ENTRY E7 (X : INTEGER := F(I_VAR));   -- ERROR: INTEGER
                                                -- WITH DERIVED.

          ENTRY E8 (X : STYPE := I_VAR);        -- OK: SAME BASE TYPE.

          ENTRY E9 (X : INTEGER := S_VAR);      -- OK.

          ENTRY E10 (X : DER_INT := AR2'LENGTH);-- OK: IMPLICIT
                                                --     CONVERSION.

     END T;

     TASK BODY T IS
     BEGIN
          NULL;
     END;

BEGIN
     NULL;
END B95064A;