diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 09:28:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 09:28:50 +0000 |
commit | 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd (patch) | |
tree | 3679cc4ae483ac59cce2649bbf346fd02787fa47 /src/interp/functor.boot | |
parent | 927875aade5720ec0e0cfbe741988011a604678f (diff) | |
download | open-axiom-6835b7615420cbb3d0db15c2a5ab1c5785ff40dd.tar.gz |
cleanup
Diffstat (limited to 'src/interp/functor.boot')
-rw-r--r-- | src/interp/functor.boot | 4 |
1 files changed, 2 insertions, 2 deletions
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]] |