WITH REPORT;
PROCEDURE A74106B IS
USE REPORT;
BEGIN
TEST( "A74106B" , "CHECK THAT PRIVATE TYPES AND LIMITED PRIVATE " &
"TYPES CAN BE DEFINED IN TERMS OF " &
"FLOATING-POINT TYPES" );
DECLARE
PACKAGE P0 IS
TYPE F0 IS PRIVATE;
PRIVATE
TYPE F0 IS NEW FLOAT;
END P0;
PACKAGE P1 IS
USE P0;
TYPE F1 IS PRIVATE;
TYPE F2 IS PRIVATE;
TYPE F3 IS PRIVATE;
TYPE F4 IS PRIVATE;
TYPE F5 IS PRIVATE;
TYPE F6 IS PRIVATE;
TYPE F7 IS PRIVATE;
TYPE F8 IS PRIVATE;
TYPE F9 IS PRIVATE;
TYPE FA IS PRIVATE;
TYPE FB IS PRIVATE;
TYPE FC IS PRIVATE;
TYPE FD(I : INTEGER) IS PRIVATE;
TYPE NF IS NEW FLOAT;
TYPE ARR_F IS ARRAY(1..2) OF FLOAT;
TYPE ACC_F IS ACCESS FLOAT;
TYPE REC_F IS RECORD F : FLOAT; END RECORD;
TYPE D_REC_F(I : INTEGER := 1) IS
RECORD F : FLOAT; END RECORD;
PRIVATE
TYPE FY(B : BOOLEAN) IS RECORD G : FLOAT; END RECORD;
TYPE FC IS NEW F0;
TYPE F1 IS DIGITS 3;
TYPE F2 IS NEW FLOAT DIGITS 4;
TYPE F3 IS NEW NF;
TYPE F4 IS ARRAY(1..2) OF FLOAT;
TYPE F5 IS NEW ARR_F;
TYPE F6 IS ACCESS FLOAT;
TYPE F7 IS NEW ACC_F;
TYPE F8 IS RECORD F : FLOAT; END RECORD;
TYPE F9 IS NEW REC_F;
TYPE FA IS ACCESS FD;
TYPE FB IS ACCESS D_REC_F;
TYPE FD(I : INTEGER) IS RECORD G : FLOAT; END RECORD;
END P1;
BEGIN
NULL;
END;
DECLARE
PACKAGE P0 IS
TYPE F0 IS LIMITED PRIVATE;
PRIVATE
TYPE F0 IS NEW FLOAT;
END P0;
PACKAGE P1 IS
USE P0;
TYPE F1 IS LIMITED PRIVATE;
TYPE F2 IS LIMITED PRIVATE;
TYPE F3 IS LIMITED PRIVATE;
TYPE F4 IS LIMITED PRIVATE;
TYPE F5 IS LIMITED PRIVATE;
TYPE F6 IS LIMITED PRIVATE;
TYPE F7 IS LIMITED PRIVATE;
TYPE F8 IS LIMITED PRIVATE;
TYPE F9 IS LIMITED PRIVATE;
TYPE FA IS LIMITED PRIVATE;
TYPE FB IS LIMITED PRIVATE;
TYPE FC IS LIMITED PRIVATE;
TYPE FD(I : INTEGER) IS LIMITED PRIVATE;
TYPE NF IS NEW FLOAT;
TYPE ARR_F IS ARRAY(1..2) OF FLOAT;
TYPE ACC_F IS ACCESS FLOAT;
TYPE REC_F IS RECORD F : FLOAT; END RECORD;
TYPE D_REC_F(I : INTEGER := 1) IS
RECORD F : FLOAT; END RECORD;
PRIVATE
TYPE FY(B : BOOLEAN) IS RECORD G : FLOAT; END RECORD;
TYPE FC IS NEW F0;
TYPE F1 IS DIGITS 3;
TYPE F2 IS NEW FLOAT DIGITS 4;
TYPE F3 IS NEW NF;
TYPE F4 IS ARRAY(1..2) OF FLOAT;
TYPE F5 IS NEW ARR_F;
TYPE F6 IS ACCESS FLOAT;
TYPE F7 IS NEW ACC_F;
TYPE F8 IS RECORD F : FLOAT; END RECORD;
TYPE F9 IS NEW REC_F;
TYPE FA IS ACCESS FD;
TYPE FB IS ACCESS D_REC_F;
TYPE FD(I : INTEGER) IS RECORD G : FLOAT; END RECORD;
END P1;
BEGIN
NULL;
END;
RESULT;
END A74106B;