Subject: fixbug
By: mnd
Fixed: bug1200.as
--* From mnd@knockdhu.dcs.st-and.ac.uk  Tue Mar  7 12:32:32 2000
--* Received: from knockdhu.dcs.st-and.ac.uk (knockdhu.dcs.st-and.ac.uk [138.251.206.239])
--* 	by nagmx1.nag.co.uk (8.9.3/8.9.3) with ESMTP id MAA23314
--* 	for <ax-bugs@nag.co.uk>; Tue, 7 Mar 2000 12:32:26 GMT
--* Received: (from mnd@localhost)
--* 	by knockdhu.dcs.st-and.ac.uk (8.8.7/8.8.7) id MAA18649
--* 	for ax-bugs@nag.co.uk; Tue, 7 Mar 2000 12:37:59 GMT
--* Date: Tue, 7 Mar 2000 12:37:59 GMT
--* From: mnd <mnd@knockdhu.dcs.st-and.ac.uk>
--* Message-Id: <200003071237.MAA18649@knockdhu.dcs.st-and.ac.uk>
--* To: ax-bugs@nag.co.uk
--* Subject: [9][other=inline-optimiz] Fail to inline from parents

--@ Bug Number:  bug1200.as 
--@ Fixed  by:  mnd   
--@ Tested by:  bug1200.as 
--@ Summary:    tfGetDomExports mangles symes to get add symes not with symes while tiTfCategory1 shoves them into add values 

-- Command line: See source
-- Version: 1.1.12p5
-- Original bug file name: inline01.as


-- Compile with -Ffm -Q5 and check the FOAM for `Negate'. Note that we
-- don't inline `negate'.

#include "axllib"

BaseDomain:with
{
   negate: % -> %;
}
== add
{
   Rep == Boolean;

   negate(x:%):% == per not rep x;
}


ChildDomain:with
{
   negate: % -> %;
   Negate: % -> %;
}
== BaseDomain add
{
   Negate(x:%):% == negate(x);
}