--* From SMWATT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Thu Apr 29 21:55:21 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17511; Thu, 29 Apr 1993 21:55:21 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2451; Thu, 29 Apr 93 21:55:32 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.5707.Apr.29.21:55:32.-0400>
--*           for asbugs@watson; Thu, 29 Apr 93 21:55:32 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5704; Thu, 29 Apr 1993 21:55:31 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Thu, 29 Apr 93 21:55:31 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA45869; Thu, 29 Apr 1993 21:55:31 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19554; Thu, 29 Apr 1993 21:56:33 -0400
--* Date: Thu, 29 Apr 1993 21:56:33 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9304300156.AA19554@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com, scm@yorktown.vnet.ibm.com
--* Subject: Bad lookup? in packages passed % [foo.as][v28.3 (current)]

--@ Fixed  by:  SSD   Wed Dec 08 09:20:00 1993 
--@ Tested by:  none 
--@ Summary:    Updated and fixed type errors, resubmitted as a genfoam bug (bug529) 


#include "aslib.as"

MyCategory ==> with
	+: (%, %) -> %

MyPackage(R: MyCategory): with
	myFunction: R -> R
   == add
        myFunction(r: R): R == r + r


MyDomain: with
	single: () -> %
	double: % -> %
	scribble: % -> None
    == add
	Rep ==> Integer
	import Rep
        single(): % == per 1
	double(n: %): % ==
		import MyPackage %
		myFunction n
	scribble(n: %): None ==
		print(rep n)()

f(): None ==
	import MyDomain
	scribble double single()