diff options
author | dos-reis <gdr@axiomatics.org> | 2009-09-26 13:49:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-09-26 13:49:18 +0000 |
commit | 91bd7571dc0baf8d17047d553e4616dd587c0ffb (patch) | |
tree | 2e2a2eb23ff2cb76b6eb3ae763a480ac1f0078ad /src/interp/br-saturn.boot | |
parent | 868f1d56a5bcd7d712855e98085e0e15d32a3264 (diff) | |
download | open-axiom-91bd7571dc0baf8d17047d553e4616dd587c0ffb.tar.gz |
* interp/: More cleanup.
Diffstat (limited to 'src/interp/br-saturn.boot')
-rw-r--r-- | src/interp/br-saturn.boot | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/interp/br-saturn.boot b/src/interp/br-saturn.boot index c482c72d..21813a35 100644 --- a/src/interp/br-saturn.boot +++ b/src/interp/br-saturn.boot @@ -480,7 +480,7 @@ htSayHrule() == bcHt htDoneButton(func, htPage, :optionalArgs) == ------> Handle argument values passed from page if present if optionalArgs ~= nil then - htpSetInputAreaAlist(htPage,CAR optionalArgs) + htpSetInputAreaAlist(htPage,first optionalArgs) typeCheckInputAreas htPage => htMakeErrorPage htPage not FBOUNDP func => @@ -741,7 +741,7 @@ kPageContextMenuSaturn page == saturnExampleLink lname == htSay '"\docLink{\csname " - htSay STRCONC(CAR(CDR(lname)), '"\endcsname}{E&xamples}") + htSay STRCONC(first(rest(lname)), '"\endcsname}{E&xamples}") $exampleConstructors := nil @@ -763,7 +763,7 @@ dbPresentCons(htPage,kind,:exclusions) == htpSetProperty(htPage,'exclusion,first exclusions) cAlist := htpProperty(htPage,'cAlist) empty? := null cAlist - one? := null CDR cAlist + one? := null rest cAlist one? := empty? or one? exposedUnexposedFlag := $includeUnexposed? --used to be star? 4/92 star? := true --always include information on exposed/unexposed 4/92 @@ -773,7 +773,7 @@ dbPresentCons(htPage,kind,:exclusions) == then htSay '"{\em Abbreviations}" else htMakePage [['bcLispLinks,['"Abbreviations",'"",'dbShowCons,'abbrs]]] htSay '"}{" - if one? or member('conditions,exclusions) or "and"/[CDR x = true for x in cAlist] + if one? or member('conditions,exclusions) or "and"/[rest x = true for x in cAlist] then htSay '"{\em Conditions}" else htMakePage [['bcLispLinks,['"Conditions",'"",'dbShowCons,'conditions]]] htSay '"}{" @@ -781,7 +781,7 @@ dbPresentCons(htPage,kind,:exclusions) == then htSay '"{\em Descriptions}" else htMakePage [['bcLispLinks,['"Descriptions",'"",'dbShowCons,'documentation]]] htSay '"}{" - if one? or null CDR cAlist + if one? or null rest cAlist then htSay '"{\em Filter}" else htMakePage [['bcLinks,['"Filter",'"",'htFilterPage,['dbShowCons,'filter]]]] @@ -824,13 +824,13 @@ dbPresentConsSaturn(htPage,kind,exclusions) == if one? or member('abbrs,exclusions) then htSayCold '"\&Abbreviations" else htMakePage [['bcLispLinks,['"\&Abbreviations",'"",'dbShowCons,'abbrs]]] - if one? or member('conditions,exclusions) or "and"/[CDR x = true for x in cAlist] + if one? or member('conditions,exclusions) or "and"/[rest x = true for x in cAlist] then htSayCold '"\&Conditions" else htMakePage [['bcLispLinks,['"\&Conditions",'"",'dbShowCons,'conditions]]] if empty? or member('documentation,exclusions) then htSayCold '"\&Descriptions" else htMakePage [['bcLispLinks,['"\&Descriptions",'"",'dbShowCons,'documentation]]] - if one? or null CDR cAlist + if one? or null rest cAlist then htSayCold '"\&Filter" else htMakeSaturnFilterPage ['dbShowCons, 'filter] if one? or member('kinds,exclusions) or kind ~= 'constructor @@ -917,10 +917,10 @@ addParameterTemplates(page, conform) == htSaySaturn '"\colorbuttonbox{lightgray}{" htSay '"Optional argument value" htSay - CDR parlist => '"s:" + rest parlist => '"s:" '":" htSaySaturn '"}" - if CDR conform then htSaySaturn '"\newline{}" + if rest conform then htSaySaturn '"\newline{}" htSaySaturn '"\begin{tabular}{p{.25in}l}" firstTime := true odd := false @@ -1380,7 +1380,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate, htSaySaturnAmpersand() htSayIndentRel(15) htSay '"\spadref{" - htSay CAR(CDR(link)) + htSay first(rest(link)) htSay '"}" htSayIndentRel(-15) htSayStandard('"\newline{}") @@ -1426,7 +1426,7 @@ htEndTabular() == htPopSaturn s == pageDescription := ELT($saturnPage, 7) - pageDescription is [=s,:b] => SETELT($saturnPage, 7, CDR pageDescription) + pageDescription is [=s,:b] => SETELT($saturnPage, 7, rest pageDescription) nil htBeginTable() == |