From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 26 Feb 93 08:48:12 GMT From: agate!howland.reston.ans.net!paladin.american.edu!news.univie.ac.at!hp4at !mcsun!julienas!newsserver!geant!courtel@ucbvax.Berkeley.EDU (Nicolas Courtel) Subject: Re: Compiling Packages and generic Subprograms Message-ID: <1993Feb26.084812.6918@cenatls.cena.dgac.fr> List-Id: >>>>> On Thu, 25 Feb 1993 11:42:32 GMT, otte@antpc.ant.uni-hannover.de (Herr Ot te) said: Dirk> What is wrong with my package Pac ? Dirk> package Pac is Dirk> generic Dirk> type Fixed is delta <> ; Dirk> procedure Get_Fixed ( Fixed_Wert : out Fixed ) ; Dirk> procedure Get_Dur is new Get_Fixed ( DURATION ) ; Dirk> end Pac ; [Package body deleted] Dirk> Is something wrong in my source code ? Dirk> Perhaps, is it forbidden, to instantiate a generic unit, before the body Dirk> of this unit is compiled ? That's right: LRM says 'For the instantiation of a generic unit that has a body , a check is made that this body is already elaborated. The exception PROGRAM_ERROR is raised if any of these checks fails' (3.9, 7 & 8) Dirk> Or is this a problem of my compiler ? Its error messages are somewhat obscure in that case, but your compiler is probably OK. -- Nicolas Courtel - courtel@dgac.fr >>> Any system which depends on human reliability is unreliable <<<