diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
commit | cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd (patch) | |
tree | 62b56048161f51096f8a6873e598c24dc3ce0374 /src/interp | |
parent | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (diff) | |
download | open-axiom-cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd.tar.gz |
* interp/define.boot (mustInstantiate): Fix thinko introduced by
earlier tweaks.
(mkExplicitCategoryFunction): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/define.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 5da7a327..d68d3316 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1642,8 +1642,8 @@ makeCategoryForm(c,e) == mustInstantiate: %Form -> %Thing mustInstantiate D == - D is [fn,:.] and (not (fn in $DummyFunctorNames) - or GET(fn,"makeFunctionList")) + D is [fn,:.] and + not (MEMQ(fn,$DummyFunctorNames) or GET(fn,"makeFunctionList")) wrapDomainSub: (%List, %Form) -> %Form wrapDomainSub(parameters,x) == @@ -1651,8 +1651,8 @@ wrapDomainSub(parameters,x) == mkExplicitCategoryFunction(domainOrPackage,sigList,atList) == body:= - ["mkCategory",MKQ domainOrPackage,['LIST,:nreverse sigList], - ['LIST,:nreverse atList],MKQ domList,nil] where + ["mkCategory",MKQ domainOrPackage,['LIST,:reverse sigList], + ['LIST,:reverse atList],MKQ domList,nil] where domList() == ("union"/[fn sig for ["QUOTE",[[.,sig,:.],:.]] in sigList]) where fn sig == [D for D in sig | mustInstantiate D] |