--* From PETEB%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Aug  5 14:36:44 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA18246; Fri, 5 Aug 1994 14:36:44 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5211; Fri, 05 Aug 94 14:36:47 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.PETEB.NOTE.VAGENT2.3755.Aug.05.14:36:45.-0400>
--*           for asbugs@watson; Fri, 05 Aug 94 14:36:47 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 3749; Fri, 5 Aug 1994 14:36:44 EDT
--* Received: from pi.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 05 Aug 94 14:36:43 EDT
--* Received: by pi.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA21723; Fri, 5 Aug 1994 14:32:34 -0500
--* Date: Fri, 5 Aug 1994 14:32:34 -0500
--* From: pab@pi.watson.ibm.com
--* Message-Id: <9408051932.AA21723@pi.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [4] leaving out an add can be confusing [xx.as][current]

--@ Fixed  by:  SSD   Tue Aug 9 11:54:23 EDT 1994 
--@ Tested by:  none 
--@ Summary:    titdnDefine was not checking its context type. 


#include "aslib.as"

ZZ==>Enumeration(a, b, c);

Foo(): with {
	aa: () -> ZZ;
} == {
	aa(): ZZ == a;
}

T1():() == {
	import from Foo();

	aa();
}

T1();