--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Jan 18 17:40:13 1994
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA22061; Tue, 18 Jan 1994 17:40:13 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6711; Tue, 18 Jan 94 17:46:22 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.0647.Jan.18.17:46:19.-0500>
--*           for asbugs@watson; Tue, 18 Jan 94 17:46:21 -0500
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 0639; Tue, 18 Jan 1994 17:46:19 EST
--* Received: from galois.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 18 Jan 94 17:46:13 EST
--* Received: by galois.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA13746; Tue, 18 Jan 1994 17:49:31 -0500
--* Date: Tue, 18 Jan 1994 17:49:31 -0500
--* From: iglio@galois.watson.ibm.com
--* Message-Id: <9401182249.AA13746@galois.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] Bug: 1 constraints not checked [ex00.as][33.5]

--@ Fixed  by:  PI   Thu Mar 10 12:25:51 EST 1994 
--@ Tested by:  Idontknow 
--@ Summary:    Sam fixed it 


#include "aslib.as"

Int ==> SingleInteger


import SingleInteger
a :SingleInteger == 3 * 2

A : with
	foo: Int -> Int
== add
	import Int
	foo(x:Int):Int == x * 3

B : with
	goo: (Int,Int) -> Int
== add
	import Int
	goo(x:Int, y:Int):Int == x * y + 2


D == add
	C : with
		hoo: Int -> Int
	== add
		import Int
		import B
		hoo (x:Int):Int == goo(2,3)
		print(hoo(0))