--* From DOOLEY%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Dec  8 09:10:44 1993
--* Received: from yktvmh.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA25626; Wed, 8 Dec 1993 09:10:44 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2045; Wed, 08 Dec 93 09:16:58 EST
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.8962.Dec.08.09:16:58.-0500>
--*           for asbugs@watson; Wed, 08 Dec 93 09:16:58 -0500
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8957; Wed, 8 Dec 1993 09:16:57 EST
--* Received: from matteo.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 08 Dec 93 09:16:56 EST
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA15726; Wed, 8 Dec 1993 09:18:33 -0500
--* Date: Wed, 8 Dec 1993 09:18:33 -0500
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9312081418.AA15726@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] Bad lookup in packages passed % [b219.as][v33.0]

--@ Fixed  by:  SSD   Fri Nov 11 14:15:37 EST 1994 
--@ Tested by:  none 
--@ Summary:    Bug no longer appears in v0-37-0. 
-- PI: looking for export ... runtime crash

#include "aslib.as"

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

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


MyDomain: MyCategory with
	single: () -> %
	double: % -> %
	scribble: % -> ()
    == add
	Rep ==> Integer
	import from Rep
	(x: %) + (y: %) : % == x
        single(): % == per 1
	double(n: %): % ==
		import from MyPackage %
		myFunction n
	scribble(n: %): () ==
		print(rep n)()

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

f()