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/showimp.boot | |
parent | 9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff) | |
download | open-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz |
cleanup
Diffstat (limited to 'src/interp/showimp.boot')
-rw-r--r-- | src/interp/showimp.boot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interp/showimp.boot b/src/interp/showimp.boot index dca66b20..1adb4179 100644 --- a/src/interp/showimp.boot +++ b/src/interp/showimp.boot @@ -124,7 +124,8 @@ getDomainSigs(D,:option) == getDomainSigs1(D,first option) getDomainSigs1(D,ops) == listSort(function GLESSEQP,u) where - u() == [x for x in getDomainOpTable(D,nil) | null ops or MEMQ(first x,ops)] + u() == [x for x in getDomainOpTable(D,nil) + | null ops or symbolMember?(first x,ops)] getDomainDocs(D,:option) == domname := D.0 @@ -260,7 +261,7 @@ formatLazyDomainForm(dom,x) == dc(:r) == con := KAR r options := KDR r - ok := MEMQ(con,allConstructors()) or (con := abbreviation? con) + ok := symbolMember?(con,allConstructors()) or (con := abbreviation? con) null ok => sayBrightly '"Format is: dc(<constructor name or abbreviation>,option)" sayBrightly |