aboutsummaryrefslogtreecommitdiff
path: root/src/interp/br-op1.boot.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-11-14 01:09:16 +0000
committerdos-reis <gdr@axiomatics.org>2007-11-14 01:09:16 +0000
commitfabbf02ee4b80241b75826536502c2d683e8462e (patch)
treeb1b9a9269a716958cf4e65312c6d7e5a9a0bbf5b /src/interp/br-op1.boot.pamphlet
parentb9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7 (diff)
downloadopen-axiom-fabbf02ee4b80241b75826536502c2d683e8462e.tar.gz
* Makefile.pamphlet (br-search.$(FASLEXT)): New rule.
(br-saturn.$(FASLEXT)): Likewise. (br-op2.$(FASLEXT)): Likewise. (br-op1.$(FASLEXT)): Likewise. (br-con.$(FASLEXT)): Likewise. (br-data.$(FASLEXT)): Likewise. (br-util.$(FASLEXT)): Likewise. (<<br-search.clisp>>): Remove. (<<br-saturn.clisp>>): Likewise. (<<br-op2.clisp>>): Likewise. (<<br-op1.clisp>>): Likewise. (<<br-con.clisp>>): Likewise. (<<br-data.clisp>>): Likewise. (<<br-util.clisp>>): Likewise. * br-search.boot.pamphlet: Push into package "BOOT". Fix syntax. * br-saturn.boot.pamphlet: Likewise. * br-op2.boot.pamphlet: Likewise. * br-op1.boot.pamphlet: Likewise. * br-con.boot.pamphlet: Likewise. * br-data.boot.pamphlet: Likewise. * br-util.boot.pamphlet: Likewise.
Diffstat (limited to 'src/interp/br-op1.boot.pamphlet')
-rw-r--r--src/interp/br-op1.boot.pamphlet25
1 files changed, 14 insertions, 11 deletions
diff --git a/src/interp/br-op1.boot.pamphlet b/src/interp/br-op1.boot.pamphlet
index aea5b89b..c37a4481 100644
--- a/src/interp/br-op1.boot.pamphlet
+++ b/src/interp/br-op1.boot.pamphlet
@@ -50,6 +50,9 @@
<<*>>=
<<license>>
+import '"bc-util"
+)package "BOOT"
+
--====================> WAS b-op1.boot <================================
--=======================================================================
@@ -154,7 +157,7 @@ dbPresentOps(htPage,which,:exclusions) ==
htTab s == htSay('"\tab{",s,'"}")
dbDoesOneOpHaveParameters? opAlist ==
- or/[(or/[fn for x in items]) for [op,:items] in opAlist] where fn ==
+ or/[(or/[fn for x in items]) for [op,:items] in opAlist] where fn() ==
STRINGP x => dbPart(x,2,1) ^= '"0"
KAR x
--============================================================================
@@ -204,7 +207,7 @@ reduceByGroup(htPage,opAlist) ==
dbExpandOpAlistIfNecessary(htPage,opAlist,'"operation",true,false)
bitNumber := HGET($topicHash,$groupChoice)
res := [[op,:newItems] for [op,:items] in opAlist | newItems] where
- newItems ==
+ newItems() ==
null bitNumber => items
[x for x in items | FIXP (code := myLastAtom x) and LOGBITP(bitNumber,code)]
res
@@ -229,7 +232,7 @@ dbShowOp1(htPage,opAlist,which,key) ==
if $exposedOnlyIfTrue and not dbFromConstructor?(htPage) then
--opAlist is expanded to form [[op,[sig,pred,origin,exposed,comments],...],...]
opAlist:=[item for [op,:items] in opAlist | item] where
- item ==
+ item() ==
acc := nil
for x in items | x.3 repeat acc:= [x,:acc]
null acc => nil
@@ -278,7 +281,7 @@ dbShowOp1(htPage,opAlist,which,key) ==
dbPresentOps(page,which,branch)
htShowPageNoScroll()
-opAlistCount(opAlist, which) == +/[foo for [op,:items] in opAlist] where foo ==
+opAlistCount(opAlist, which) == +/[foo for [op,:items] in opAlist] where foo() ==
null $exposedOnlyIfTrue or which = '"attribute" => #items
--count if unexpanded---CDDR(w) = nil---or if w.3 = true
+/[1 for w in items | null (p := CDDR w) or p . 1]
@@ -334,7 +337,7 @@ conform2StringList(form,opFn,argFn,exception) ==
atypes :=
special => cosig
rest CDAR GETDATABASE(op,'CONSTRUCTORMODEMAP)
- sargl := [fn for x in args for atype in atypes for pred in cosig] where fn ==
+ sargl := [fn for x in args for atype in atypes for pred in cosig] where fn() ==
keyword :=
x is [":",y,t] =>
x := t
@@ -378,7 +381,7 @@ dbOuttran form ==
args := nil
cosig := rest GETDATABASE(op,'COSIG)
atypes := rest CDAR GETDATABASE(op,'CONSTRUCTORMODEMAP)
- argl := [fn for x in args for atype in atypes for pred in cosig] where fn ==
+ argl := [fn for x in args for atype in atypes for pred in cosig] where fn() ==
pred => x
typ := sublisFormal(args,atype)
arg :=
@@ -436,7 +439,7 @@ conname2StringList form == [PNAME unAbbreviateIfNecessary opOf form]
dbGatherData(htPage,opAlist,which,key) ==
key = 'implementation => dbGatherDataImplementation(htPage,opAlist)
dataFunction := LASSOC(key,table) where
- table ==
+ table() ==
$dbDataFunctionAlist or
($dbDataFunctionAlist := [
['signatures,:function dbMakeSignature],
@@ -566,7 +569,7 @@ dbReduceByOpSignature(opAlist,datalist) ==
ops := [CAAR x for x in datalist] --x is [[op,sig,:implementor],:.]
acc := nil
for [op,:alist] in opAlist | MEMQ(op,ops) repeat
- entryList := [entry for (entry := [sig,:.]) in alist | test] where test ==
+ entryList := [entry for (entry := [sig,:.]) in alist | test] where test() ==
or/[x for x in datalist | x is [[=op,=sig,:.],:.]]
entryList => acc := [[op,:NREVERSE entryList],:acc]
NREVERSE acc
@@ -888,7 +891,7 @@ reduceOpAlistForDomain(opAlist,domform,conform) ==
form1 := [domform,:rest domform]
form2 := ['$,:rest conform]
for pair in opAlist repeat
- RPLACD(pair,[test for item in rest pair | test]) where test ==
+ RPLACD(pair,[test for item in rest pair | test]) where test() ==
[head,:tail] := item
CAR tail = true => item
pred := simpHasPred SUBLISLIS(form1,form2,QCAR tail)
@@ -1047,7 +1050,7 @@ evalableConstructor2HtString domform ==
--argtypes:= sublisFormal(arglist,fargtypes)
form2HtString([conname,:[fn for arg in arglist for x in coSig
for ftype in fargtypes]],nil,true) where
- fn ==
+ fn() ==
x => arg
typ := sublisFormal(arglist,ftype)
mathform2HtString algCoerceInteractive(arg,typ,'(OutputForm))
@@ -1095,7 +1098,7 @@ getDomainOpTable(dom,fromIfTrue,:options) ==
EQ(op,'One) => MEMQ(1,ops) and 1
EQ(op,'Zero) => MEMQ(0,ops) and 0
false
- fn ==
+ fn() ==
sig1 := sublisFormal(rest domname,sig)
predValue := evalDomainOpPred(dom,pred)
info :=