-- B55B09B.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 UNIVERSAL_INTEGER LOOPS RESULT IN A LOOP INDEX
--     OF TYPE INTEGER.

-- PART 1: CONTEXT SUGGESTS  "NEW INTEGER" .


-- RM 7/09/82
-- JBG 10/5/83

PROCEDURE B55B09B IS

     TYPE  T  IS  NEW INTEGER ;

     A  :  ARRAY ( INTEGER RANGE 0 .. 2 ) OF  T ;
     B  :  ARRAY ( T       RANGE 0 .. 2 ) OF  INTEGER ;

     J  :  T  := 0 ;

     C1 :  CONSTANT := 1 + 1 - 1 ;
     C2 :  CONSTANT := C1 + 1 ;

     PROCEDURE  P ( I : T ) IS
     BEGIN
          NULL ;
     END  P ;

BEGIN

     FOR  K  IN 1 .. 2  LOOP

          J        :=  K ;          -- ERROR: WRONG RHS TYPE.
          A ( K )  :=  K ;          -- ERROR: WRONG RHS TYPE.
          B ( K )  :=  K ;          -- ERROR: WRONG INDEX TYPE.
          P ( K )        ;          -- ERROR: WRONG ARGUMENT TYPE.
          A ( 0 MOD 3 )  :=  K ;    -- ERROR: WRONG RHS TYPE.
          B ( K REM 3 )  :=  7 ;    -- ERROR: WRONG "REM"-ARGUMENT TYPE.

     END LOOP;


     FOR  K  IN C1 .. C2  LOOP

          DECLARE

               PROCEDURE  Q ( L : T ) IS
               BEGIN

                    J        :=  K ;      -- ERROR: WRONG RHS TYPE.
                    A ( K )  :=  K ;      -- ERROR: WRONG RHS TYPE.
                    B ( K )  :=  K ;      -- ERROR: WRONG INDEX TYPE.
                    P ( K )        ;      -- ERROR: WRONG ARGUMENT TYPE.
                    A ( K MOD 3 )  :=  K ;-- ERROR: WRONG RHS TYPE.
                    B ( K REM 3 )  :=  K ;-- ERROR: WRONG "REM"-ARGUMENT
                                          --     TYPE.

               END  Q ;

          BEGIN
               NULL ;
          END ;

     END LOOP;


END  B55B09B ;