diff options
author | dos-reis <gdr@axiomatics.org> | 2012-01-01 22:32:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-01-01 22:32:44 +0000 |
commit | 041f2e9f7c59fd11a182760e31dd3bdb75d3ea79 (patch) | |
tree | d870c9e39e559604d2537eb1ce7eaecdc6b14ad9 /src/interp/nruncomp.boot | |
parent | 7ae64b8b1397669caa1dd9dfccb8200eb5801001 (diff) | |
download | open-axiom-041f2e9f7c59fd11a182760e31dd3bdb75d3ea79.tar.gz |
* interp/define.boot (evalCategoryForm): New.
(mkCategoryPackage): Use it.
(compMakeCategoryObject): Likewise.
* interp/nruncomp.boot (NRTsetVector4a): Likewise.
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index adedec63..58a7531f 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -555,8 +555,8 @@ NRTsetVector4a(sig,form,cond) == $uncondList := append(domainList,$uncondList) if isCategoryForm(form,$e) then $uncondList := [form,:$uncondList] $uncondList - evalform := eval mkEvalableCategoryForm form - cond = true => + evalform := evalCategoryForm(form,$e) + cond is true => $uncondList := [form,:append(categoryPrincipals evalform,$uncondList)] $condList := [[cond,[form,:categoryPrincipals evalform]],:$condList] |