diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:57:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:57:33 +0000 |
commit | f42883e3da3524177b4a8c6f42c8e7b1646a6265 (patch) | |
tree | 7802320c3cab01a11aa32fd87bf8ea00f265fd80 /src/interp/br-con.boot | |
parent | 37bce222d153e4b7b0c086b9c717435f4cdd2c77 (diff) | |
download | open-axiom-f42883e3da3524177b4a8c6f42c8e7b1646a6265.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/br-con.boot')
-rw-r--r-- | src/interp/br-con.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot index 32e0c9df..eb85c055 100644 --- a/src/interp/br-con.boot +++ b/src/interp/br-con.boot @@ -959,7 +959,7 @@ conPageChoose conname == dbShowCons1(nil,cAlist,'names) dbShowCons1(htPage,cAlist,key) == - conlist := REMDUP [item for x in cAlist | pred] where + conlist := removeDuplicates [item for x in cAlist | pred] where pred() == item := first x $exposedOnlyIfTrue => isExposedConstructor opOf item @@ -991,12 +991,12 @@ dbShowCons1(htPage,cAlist,key) == flist := [y for con in conlist | y := (fn := getConstructorSourceFileFromDB con)] - bcUnixTable(listSort(function GLESSEQP,REMDUP flist)) + bcUnixTable(listSort(function GLESSEQP,removeDuplicates flist)) key = 'documentation => dbShowConsDoc(page,conlist) if $exposedOnlyIfTrue then cAlist := [x for x in cAlist | isExposedConstructor opOf first x] key = 'conditions => dbShowConditions(page,cAlist,kind) - key = 'parameters => bcConTable REMDUP ASSOCLEFT cAlist + key = 'parameters => bcConTable removeDuplicates ASSOCLEFT cAlist key = 'kinds => dbShowConsKinds cAlist dbConsExposureMessage() htSayStandard("\endscroll ") @@ -1033,7 +1033,7 @@ dbConsExposureMessage() == -- htSay '" " -- htSay (c > 1 => pluralize kind; kind) -- htSay '":}" --- bcConTable REMDUP [CAAR y for y in x] +-- bcConTable removeDuplicates [CAAR y for y in x] -- htEndMenu(2) -- htSay '"\indent{0}" @@ -1046,7 +1046,7 @@ dbShowConsDoc(htPage,conlist) == cAlist := htpProperty(htPage,'cAlist) --the following code is necessary to skip over duplicates on cAlist index := 0 - for x in REMDUP conlist repeat + for x in removeDuplicates conlist repeat -- for x in conlist repeat dbShowConsDoc1(htPage,getConstructorForm x,i) where i() == while CAAAR cAlist ~= x repeat @@ -1102,7 +1102,7 @@ dbConsHeading(htPage,conlist,view,kind) == place := htPage => htpProperty(htPage,'domname) or htpProperty(htPage,'conform) nil - count := #(REMDUP conlist) + count := #(removeDuplicates conlist) -- count := #conlist thing = '"benefactor" => [STRINGIMAGE count,'" Constructors Used by ",form2HtString(place,nil,true)] |