Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1)
	id AA04670; Mon, 13 Nov 95 14:46:09 GMT
From: Peter Broadbery <peterb@uk.co.nag>
Date: Mon, 13 Nov 95 14:42:45 GMT
Message-Id: <20548.9511131442@nldi16.nag.co.uk>
Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0)
	id AA20548; Mon, 13 Nov 95 14:42:45 GMT
Subject: fixbug
By: PAB
Fixed: bug1034.as
Apparently-To: ax-bugs@nag.co.uk

--* 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

--@ Bug Number:  bug1034.as 
--@ Fixed  by:  PAB   
--@ Tested by:  add1.as 
--@ Summary:    add inheriting from extends now works. 

-- 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;