diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
| commit | faaf19e1912ba48e9fbd195d2b90c4e205c87538 (patch) | |
| tree | 18a81dba1f12285383ba73beaeb8febb6606ea37 /src/interp/lisplib.boot | |
| parent | 9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff) | |
| download | open-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/lisplib.boot')
| -rw-r--r-- | src/interp/lisplib.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 2bd63c11..67378673 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -49,7 +49,7 @@ $functionLocations := [] NRTgenInitialAttributeAlist attributeList == --alist has form ((item pred)...) where some items are constructor forms alist := [x for x in attributeList | -- throw out constructors - not MEMQ(opOf first x,allConstructors())] + not symbolMember?(opOf first x,allConstructors())] $lisplibAttributes := simplifyAttributeAlist [[a,:b] for [a,b] in SUBLIS($pairlis,alist) | a ~= 'nothing] @@ -637,7 +637,7 @@ Operators u == atom u => [] atom first u => answer:="union"/[Operators v for v in rest u] - MEMQ(first u,answer) => answer + symbolMember?(first u,answer) => answer [first u,:answer] "union"/[Operators v for v in u] @@ -778,7 +778,7 @@ getSlotFromCategoryForm ([op,:argl],index) == isDomainForm(D,e) == --added for MPOLY 3/83 by RDJ - MEMQ(KAR D,$SpecialDomainNames) or isFunctor D or + symbolMember?(KAR D,$SpecialDomainNames) or isFunctor D or -- ((D is ['Mapping,target,:.]) and isCategoryForm(target,e)) or ((getmode(D,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or isCategoryForm(getmode(D,e),e) or isDomainConstructorForm(D,e) @@ -792,7 +792,7 @@ isFunctor x == op:= opOf x not IDENTP op => false $InteractiveMode => - MEMQ(op,$DomainNames) => true + symbolMember?(op,$DomainNames) => true getConstructorKindFromDB op in '(domain package) u:= get(op,'isFunctor,$CategoryFrame) or op in '(SubDomain Union Record Enumeration) => u |