--* Received: from uk.ac.nsfnet-relay by nags2.nag.co.uk (4.1/UK-2.1)
--* 	id AA23602; Thu, 19 Oct 95 14:56:55 BST
--* Received: from bernina-rz.ethz.ch by sun3.nsfnet-relay.ac.uk with Internet SMTP 
--*           id <sg.25596-0@sun3.nsfnet-relay.ac.uk>;
--*           Thu, 19 Oct 1995 14:51:22 +0100
--* Received: from vinci.inf.ethz.ch by bernina.ethz.ch with SMTP inbound;
--*           Thu, 19 Oct 1995 14:40:21 +0100
--* Received: (bronstei@localhost) by vinci.inf.ethz.ch (8.6.8/8.6.6) id OAA00381 
--*           for ax-bugs@nag.co.uk; Thu, 19 Oct 1995 14:40:16 +0100
--* Date: Thu, 19 Oct 1995 14:40:16 +0100
--* From: bronstei <bronstei@ch.ethz.inf>
--* Message-Id: <199510191340.OAA00381@vinci.inf.ethz.ch>
--* To: ax-bugs@uk.co.nag
--* Subject: [1] Export not found at runtime

--@ Fixed  by: <Who> <Date>
--@ Tested by: <Name of new or existing file in test directory>
--@ Summary:   <Description of real problem and the fix>

-- Command line: axiomxl -Q2 -Fx -lsumit notfound.as
-- Version: 1.1.4
-- Original bug file name: notfound.as

------------------------ notfound.as ----------------------------
--
-- This file needs minisumit
--
-- % axiomxl -Q2 -lsumit -Fx notfound.as
-- % notfound
-- xt1 = 2
-- a = 2
-- Looking in Integer for 0 with code 200124
-- Export not found
--

#include "sumit.as"

macro Z == Integer;

S:SumitType with { coerce: Z -> % } == Z add {  
	macro Rep == Z;

	coerce(x:Z):% == per x;
}

import from Z, S, ExpressionTree;

xt1 := extree(2@Z);
print << "xt1 = " << xt1 << newline;

a:S := 2::S;
print << "a = " << a << newline;

xt := extree a;
print << "xt = " << xt << newline;