From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!enea!sommar
From: sommar@enea.UUCP (Erland Sommarskog)
Newsgroups: comp.lang.ada
Subject: Question about discrimiants
Message-ID: <2079@enea.UUCP>
Date: Tue, 7-Jul-87 06:34:15 EDT
Article-I.D.: enea.2079
Posted: Tue Jul  7 06:34:15 1987
Date-Received: Sat, 11-Jul-87 01:24:14 EDT
Reply-To: sommar@enea.UUCP(Erland Sommarskog)
Followup-To: comp.lang.ada
Organization: ENEA DATA Svenska AB, Sweden
List-Id: <comp.lang.ada>


The following declaration is incorrect (LRM 3.7.1(6)):

TYPE Nisse(Size : integer_type) IS
     RECORD
        A : Array(1..Size) of integer;
        B : Array(1..2*Size) of integer;
     END;
     
Does anyone know why? I can understand forbidding a dynamic expression,
but a static?
-- 
Erland Sommarskog       
ENEA Data, Stockholm    
sommar@enea.UUCP