Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1)
	id AA24808; Mon, 18 Sep 95 20:32:25 BST
From: Peter Broadbery <peterb@uk.co.nag>
Date: Mon, 18 Sep 95 20:29:00 +0100
Message-Id: <593.9509181929@nldi16.nag.co.uk>
Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0)
	id AA00593; Mon, 18 Sep 95 20:29:00 +0100
Subject: fixbug
By: PAB
Fixed: bug896.as
Apparently-To: ax-bugs@nag.co.uk

--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Nov  2 12:48:17 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA17202; Wed, 2 Nov 1994 12:48:17 -0500
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1713; Wed, 02 Nov 94 12:48:23 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.9341.Nov.02.12:48:22.-0500>
--*           for asbugs@watson; Wed, 02 Nov 94 12:48:23 -0500
--* Received: from inf.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 02 Nov 94 12:48:22 EST
--* Received: from ru7.inf.ethz.ch (bronstei@ru7.inf.ethz.ch [129.132.12.16]) by inf.ethz.ch (8.6.9/8.6.9) with ESMTP id SAA00931 for <asbugs@watson.ibm.com>; Wed, 2 Nov 1994 18:48:14 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: (bronstei@localhost) by ru7.inf.ethz.ch (8.6.8/8.6.6) id SAA09829 for asbugs@watson.ibm.com; Wed, 2 Nov 1994 18:48:13 +0100
--* Date: Wed, 2 Nov 1994 18:48:13 +0100
--* Message-Id: <199411021748.SAA09829@ru7.inf.ethz.ch>
--* To: asbugs@watson.ibm.com
--* Subject: [3] Export not found at runtime

--@ Bug Number:  bug896.as 
--@ Fixed  by:  PAB   
--@ Tested by:  defarg9.as 
--@ Summary:    Fixed in 1.1.3 

-- Command line: asharp -Grun defparam.as
-- Version: 0.37.0
-- Original bug file name: defparam.as

----------------------------- defparam.as ----------------------------
--
-- % asharp -Grun defparam.as
-- Looking in MyType(w==<value>, v==<value>) for foo with code 580856042
-- Export not found
--

#include "aslib.as"

macro Z == SingleInteger;

-- The problem only occurs if the second argument is optional
MyType(w:Z, v:String == "x"):BasicType with { foo: Z -> % } == Z add {
	macro Rep == Z;
	import from Rep;

	foo(x:Z):% == per x;
	(p:TextWriter) << (x:%):TextWriter == p << v << "^" << rep x;
}

import from Z;

q:MyType(2) == foo 5;

print << q << newline;