--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Aug  4 11:28:02 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA14887; Thu, 4 Aug 1994 11:28:02 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6039; Thu, 04 Aug 94 11:28:05 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.PETEB.NOTE.VAGENT2.1315.Aug.04.11:28:04.-0400>
--*           for asbugs@watson; Thu, 04 Aug 94 11:28:05 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1309; Thu, 4 Aug 1994 11:28:04 EDT
--* Received: from asharp.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Thu, 04 Aug 94 11:28:04 EDT
--* Received: by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA15139; Thu, 4 Aug 1994 11:27:59 -0400
--* Date: Thu, 4 Aug 1994 11:27:59 -0400
--* From: peteb@asharp.watson.ibm.com (Peter A. Broadbery)
--* Message-Id: <9408041527.AA15139@asharp.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] double embedding doesn't work. [x.as][current]

--@ Fixed  by:  SSD   Tue Aug 9 12:22:01 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Bug not found in current. 

#include "aslib"
import from Integer;


h(): Cross(Integer, Integer) == {
	args := (1,2);
	divide args;
}

-- these are ok
g(): (Integer, Integer) == {
	args := (1,2);
	divide args;
}

x(): (Integer, Integer) == {
	args: Cross(Integer, Integer) := (1,2);
	divide args;
}