--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Nov  8 09:59:27 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA24701; Tue, 8 Nov 1994 09:59:27 -0500
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0249; Tue, 08 Nov 94 09:59:32 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.3667.Nov.08.09:59:31.-0500>
--*           for asbugs@watson; Tue, 08 Nov 94 09:59:31 -0500
--* Received: from inf.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 08 Nov 94 09:59:30 EST
--* Received: from ru7.inf.ethz.ch (santas@ru7.inf.ethz.ch [129.132.12.16]) by inf.ethz.ch (8.6.9/8.6.9) with ESMTP id PAA14214 for <asbugs@watson.ibm.com>; Tue, 8 Nov 1994 15:59:14 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: (santas@localhost) by ru7.inf.ethz.ch (8.6.8/8.6.6) id PAA07771 for asbugs@watson.ibm.com; Tue, 8 Nov 1994 15:59:13 +0100
--* Date: Tue, 8 Nov 1994 15:59:13 +0100
--* Message-Id: <199411081459.PAA07771@ru7.inf.ethz.ch>
--* To: asbugs@watson.ibm.com
--* Subject: fix506.as
--* In-Reply-To: Mail from 'asbugs@watson.ibm.com (S Watt)'
--*       dated: Tue, 8 Nov 1994 09:49:04 -0500

--@ Fixed  by:  SSD   Tue Nov 8 10:11:16 EST 1994 
--@ Tested by:  none 
--@ Summary:    fix506 has been fixed prior to v0-37-0. 


Can you please add in which version it has been corrected?
Thanks,

Philip


>The following A# bug you reported has been fixed.
>
>./fixes/fix506.as
>
>--* Subject: nested imports of types with the same name
>
>--@ Fixed  by:  SSD   Tue Nov 8 09:49:02 EST 1994
>--@ Tested by:  none
>--@ Summary:    The segmentation faults no longer appear. In both programs, the call to goo cannot take an argument z of type T1$P2 and expect to return a value of type T1$<outer>. Both programs correctly report a type error.