--* From DOOLEY%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Jul 20 18:00:13 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA15582; Tue, 20 Jul 1993 18:00:13 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 8987; Tue, 20 Jul 93 10:16:41 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.8821.Jul.20.10:16:40.-0400>
--*           for asbugs@watson; Tue, 20 Jul 93 10:16:41 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8815; Tue, 20 Jul 1993 10:16:40 EDT
--* Received: from matteo.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 20 Jul 93 10:16:39 EDT
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA20607; Tue, 20 Jul 1993 10:18:20 -0400
--* Date: Tue, 20 Jul 1993 10:18:20 -0400
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9307201418.AA20607@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Different exports from shared 'with' types [sbug.as][v29.3]

--@ Fixed  by:  PI   Fri Mar 11 16:43:30 EST 1994 
--@ Tested by:  none 
--@ Summary:    no more a bug 


#include "aslib"

SI ==> SingleInteger

-- The 'with' type forms for A and B are shared, but the scope binder
-- creates symbol meanings for 'string' with two different type forms
-- which are visible in the respective 'add' bodies.  Only one of the
-- type forms gets analyzed, so the analysis of one of the definitions
-- of 'string' gives an error.

A(x: SI): Join(BasicType, Aggregate(Bit), Logic) with {
	string: Literal -> %;
}
== add {
	string(l: Literal): % == {
		s: String := string l;
		s pretend %;
	}
}

B(x: SI): Join(BasicType, Aggregate(Bit), Logic) with {
	string: Literal -> %;
}
== add {
	string(l: Literal): % == {
		s: String := string l;
		s pretend %;
	}
}