From martin@nagmx1.nag.co.uk  Fri Jun  9 16:09:11 2000
Received: from frisco.nag.co.uk (frisco.nag.co.uk [192.156.217.22])
	by nagmx1.nag.co.uk (8.9.3/8.9.3) with SMTP id QAA11247
	for <ax-bugs@nag.co.uk>; Fri, 9 Jun 2000 16:09:11 +0100 (BST)
From: Martin Dunstan <martin@nag.co.uk>
Date: Fri, 9 Jun 2000 16:04:34 +0100
Message-Id: <200006091504.QAA00861@frisco.nag.co.uk>
Received: by frisco.nag.co.uk (SMI-8.6) id QAA00861; Fri, 9 Jun 2000 16:04:34 +0100
To: ax-bugs@nag.co.uk@nagmx1.nag.co.uk

Subject: fixbug
By: MND
Fixed: bug1160.as
--* From aldor-1.1.12@dcs.st-and.ac.uk  Mon May 31 15:49:31 1999
--* Received: from knockdhu.cs.st-andrews.ac.uk ([138.251.206.239])
--* 	by nagmx1.nag.co.uk (8.9.3/8.9.3) with ESMTP id PAA12821
--* 	for <ax-bugs@nag.co.uk>; Mon, 31 May 1999 15:49:30 +0100 (BST)
--* Received: from localhost (aldor-1.1.12@localhost)
--* 	by knockdhu.cs.st-andrews.ac.uk (8.8.7/8.8.7) with ESMTP id PAA13848;
--* 	Mon, 31 May 1999 15:52:16 +0100
--* X-Authentication-Warning: knockdhu.cs.st-andrews.ac.uk: aldor-1.1.12 owned process doing -bs
--* Date: Mon, 31 May 1999 15:52:16 +0100 (GMT)
--* From: "Aldor v1.1.12 clean development" <aldor-1.1.12@dcs.st-and.ac.uk>
--* X-Sender: aldor-1.1.12@knockdhu.cs.st-andrews.ac.uk
--* To: ax-bugs@nag.co.uk
--* cc: mnd@dcs.st-and.ac.uk
--* Subject: [9][scobind?] Strange behaviour when defining domains
--* Message-ID: <Pine.LNX.4.04.9905311550565.13799-100000@knockdhu.cs.st-andrews.ac.uk>
--* MIME-Version: 1.0
--* Content-Type: TEXT/PLAIN; CHARSET=US-ASCII
--* Content-ID: <Pine.LNX.4.04.9905311550567.13799@knockdhu.cs.st-andrews.ac.uk>

--@ Bug Number:  bug1160.as 
--@ Fixed  by:  MND   
--@ Tested by:  catdef3.as 
--@ Summary:    abnorm adds a with block if missing 


-- Command line: See header comment
-- Version: 1.1.12 for LINUX(glibc) (debug version)
-- Original bug file name: catBug.as


----------------------------------------------------------------------
-- Compare the output when compiled with and without inlining:
--
-- % axiomxl -Q2             -Grun catBug.as
-- % axiomxl -Q2 -Qno-inline -Grun catBug.as
--
-- The problem seems to be that if we define a domain which implements
-- a pre-defined category then the compiler believes that its exports
-- are those defined in the category not the domain. Simple changing
-- the category to `Cat with' allows the compiler to see each export
-- originating from the correct domain.
--
-- This also kills the inliner: if we get rid of the default then we
-- get the correct behaviour under any optimisation. However, all the
-- exports of A and B are inlined while those of X and Y are.
----------------------------------------------------------------------

#include "axllib"

SI ==> SingleInteger;

----------------------------------------------------------------------

define Cat:Category == with
{
   foo : () -> SI;

   default { foo():SI == 42; }
}

----------------------------------------------------------------------

A:Cat == add;


B:Cat == add
{
   import from SI;
   foo():SI == 84;
}

----------------------------------------------------------------------

X:Cat with == add;

Y:Cat with == add 
{
   import from SI;
   foo():SI == 84;
}

----------------------------------------------------------------------

main():() ==
{
   import from SI;

   print << "foo()$A = " << foo()$A;
   print << " (ought to be " << foo()$X << ")" << newline;

   print << "foo()$B = " << foo()$B;
   print << " (ought to be " << foo()$Y << ")" << newline;
}

main();

----------------------------------------------------------------------