diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-20 21:49:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-20 21:49:59 +0000 |
| commit | 1e67a3445ddda759c38b455494350ed00390d73f (patch) | |
| tree | 720721577c197b4ff455f25ad767c9a8de5c5d94 /src/interp/br-search.boot | |
| parent | 517b9dd50dcdf3f7881d5f682e8217174d03a211 (diff) | |
| download | open-axiom-1e67a3445ddda759c38b455494350ed00390d73f.tar.gz | |
more cleanup
Diffstat (limited to 'src/interp/br-search.boot')
| -rw-r--r-- | src/interp/br-search.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/br-search.boot b/src/interp/br-search.boot index bce8723a..e933bd4b 100644 --- a/src/interp/br-search.boot +++ b/src/interp/br-search.boot @@ -362,7 +362,7 @@ spadType(x) == --called by \spadtype{x} from HyperDoc looksLikeDomainForm x == entry := getCDTEntry(opOf x,true) or return false - coSig := LASSOC('coSig,CDDR entry) + coSig := symbolLassoc('coSig,CDDR entry) k := #coSig atom x => k = 1 k ~= #x => false @@ -758,7 +758,7 @@ dbSearchAbbrev([.,:conlist],kind,filter) == null conlist => emptySearchPage('"abbreviation",filter) kind := intern kind if kind ~= 'constructor then - conlist := [x for x in conlist | LASSOC('kind,IFCDR IFCDR x) = kind] + conlist := [x for x in conlist | symbolLassoc('kind,IFCDR IFCDR x) = kind] conlist is [[nam,:.]] => conPage DOWNCASE nam cAlist := [[con,:true] for con in conlist] htPage := htInitPage('"",nil) @@ -768,7 +768,7 @@ dbSearchAbbrev([.,:conlist],kind,filter) == page := htInitPage([#conlist, '" Abbreviations Match {\em ",STRINGIMAGE filter,'"}"],nil) for [nam,abbr,:r] in conlist repeat - kind := LASSOC('kind,r) + kind := symbolLAssoc('kind,r) htSay('"\newline{\em ",s := STRINGIMAGE abbr) htSayStandard '"\tab{10}" htSay '"}" |