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=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 26 Aug 93 19:27:57 GMT
From: agate!howland.reston.ans.net!math.ohio-state.edu!uwm.edu!linac!convex!con
vex!convex!pelakh@ucbvax.Berkeley.EDU  (Boris Pelakh)
Subject: Re: Odd Generic Behaviour <<LRM Experts Whats Going ON??
Message-ID: <1993Aug26.192757.2109@news.eng.convex.com>
List-Id: <comp.lang.ada>

I suspect you have found a compiler bug. I ran this through the Convex Ada
compiler (VADS-based), and everything was OK. Note the compilation order. 
After the pack1 spec is compiled, pack1.newgen becomes a pending instantiation,
waiting for a body. When the body of pack1 is compiled, code is also generated
for the instantiation.

<mozart : ada> ada -v -M packer1.a

Convex Ada Compiler, Copyright 1988, 1989, 1990
Verdix Ada Compiler, Copyright 1984-9, 1990
Version 2.1 - ConvexOS
Sun Aug  8 00:23:04 CDT 1993

ada pre processor: /devsw4/ada/COADS/bin/a.app
ada front end: /devsw4/ada/COADS/sup/fe
ada assembler: /devsw4/ada/COADS/sup/as
ada optimizer: /devsw4/ada/COADS/sup/optim
ada code generator: /devsw4/ada/COADS/sup/cg

ada common code generator: /devsw4/ada/COADS/sup/vada


File: /scratch/pelakh/ada/packer1.a
        compiled Thu Aug 26 14:26:02 1993
        by user pelakh

        floating point processor NATIVE

unit: package pack1
        NO Ada ERRORS           UNIT ENTERED
unit: package body pack1
        NO Ada ERRORS           UNIT ENTERED
unit: package body newgen1.pack1
        NO Ada ERRORS           UNIT ENTERED
unit: subprogram body packer1
        NO Ada ERRORS           UNIT ENTERED

16 statements   45 lines
optimization pass       1       pack1..NLPS
        16       IL instructions in
        14       IL instructions out
optimization pass       1       pack1..NLPB
        25       IL instructions in
        21       IL instructions out
optimization pass       1       newgen1.pack1..ILPB
        41       IL instructions in
        28       IL instructions out
optimization pass       1       packer1..NLSB
        53       IL instructions in
        42       IL instructions out

Storage used    bytes
        Text    640
        Data    84
        BSS     0

ada linker: /devsw4/ada/COADS/sup/a.ld

<mozart : ada> a.out
Init
Started
GEN1.SUB
Finished
-- 
Boris Pelakh		Ada Project Leader          pelakh@convex.com
		     Convex Computer Corporation
"If winning isn't important, why keep score ?"	-- Lt. Worf, Star Trek TNG.