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/c-util.boot | |
| parent | 927875aade5720ec0e0cfbe741988011a604678f (diff) | |
| download | open-axiom-6835b7615420cbb3d0db15c2a5ab1c5785ff40dd.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/c-util.boot')
| -rw-r--r-- | src/interp/c-util.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 7fd42c62..6f40e699 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -940,9 +940,9 @@ extendsCategoryForm(domain,form,form') == formVec:=(compMakeCategoryObject(form,$e)).expr --Must be $e to pick up locally bound domains form' is ["SIGNATURE",op,args,:.] => - assoc([op,args],formVec.1) or + assoc([op,args],categoryExports formVec) or assoc(substitute(domain,"$",[op,args]), - substitute(domain,"$",formVec.1)) + substitute(domain,"$",categoryExports formVec)) form' is ["ATTRIBUTE",at] => assoc(at,formVec.2) or assoc(substitute(domain,"$",at),substitute(domain,"$",formVec.2)) |