From 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 2 May 2011 09:28:50 +0000 Subject: cleanup --- src/interp/functor.boot | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/interp/functor.boot') diff --git a/src/interp/functor.boot b/src/interp/functor.boot index a0361b0f..9377aa33 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -318,7 +318,7 @@ setVector12 args == --as in DistributedMultivariatePolynomial args1:=[u.op,:args1] args2:=[u.args,:args2] - freeof($domainShell.1,args1) and + freeof(categoryExports $domainShell,args1) and freeof($domainShell.2,args1) and freeof($domainShell.4,args1) => nil [['SetDomainSlots124,'$,['QUOTE,args1],['%list,:args2]]] @@ -586,7 +586,7 @@ TryGDC cond == SetFunctionSlots(sig,body,flag,mode) == --mode is either "original" or "adding" null body => return nil u := first $catvecList - for catImplem in LookUpSigSlots(sig,u.1) repeat + for catImplem in LookUpSigSlots(sig,categoryExports u) repeat catImplem is [q,.,index] and (q='ELT or q='CONST) => if q is 'CONST and body is ['CONS,a,b] then body := ['CONS,'IDENTITY,['FUNCALL,a,b]] -- cgit v1.2.3