aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog20
-rw-r--r--src/boot/ast.boot3
-rw-r--r--src/boot/includer.boot100
-rw-r--r--src/interp/Makefile.in38
-rw-r--r--src/interp/Makefile.pamphlet38
-rw-r--r--src/interp/c-util.boot2
-rw-r--r--src/interp/database.boot2
-rw-r--r--src/interp/format.boot20
-rw-r--r--src/interp/g-timer.boot10
-rw-r--r--src/interp/i-analy.boot4
-rw-r--r--src/interp/i-coerce.boot14
-rw-r--r--src/interp/i-coerfn.boot10
-rw-r--r--src/interp/i-eval.boot2
-rw-r--r--src/interp/i-intern.boot2
-rw-r--r--src/interp/i-output.boot8
-rw-r--r--src/interp/i-resolv.boot6
-rw-r--r--src/interp/i-spec1.boot16
-rw-r--r--src/interp/i-syscmd.boot2
-rw-r--r--src/interp/msgdb.boot62
-rw-r--r--src/interp/newfort.boot2
20 files changed, 195 insertions, 166 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index b7a77e15..9f3a6a16 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,23 @@
+2008-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/c-util.boot: Remove Old Boot semantics.
+ * interp/database.boot: Likewise.
+ * interp/format.boot: Likewise.
+ * interp/g-timer.boot: Likewise.
+ * interp/i-analy.boot: Likewise.
+ * interp/i-coerce.boot: Likewise.
+ * interp/i-coerfn.boot: Likewise.
+ * interp/i-eval.boot: Likewise.
+ * interp/i-intern.boot: Likewise.
+ * interp/i-output.boot: Likewise.
+ * interp/i-resolv.boot: Likewise.
+ * interp/i-spec1.boot: Likewise.
+ * interp/i-syscmd.boot: Likewise.
+ * interp/msgdb.boot: Likewise.
+ * interp/newfort.boot: Likewise.
+ * boot/includer.boot (diagnosticLocation): New.
+ * boot/ast.boot (bfReName): Use it.
+
2008-05-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/java.spad.pamphlet: New. Implement JavaBytecode.
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index ca85928a..2e62c119 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -736,7 +736,8 @@ bfReName x==
oldName := bfGetOldBootName x
if newName ^= oldName then
warn [PNAME x, '" as `", PNAME newName, _
- '"_' differs from Old Boot `", PNAME oldName, '"_'"]
+ '"_' differs from Old Boot `", PNAME oldName,_
+ '"_' at ", diagnosticLocation $stok]
oldName
newName
diff --git a/src/boot/includer.boot b/src/boot/includer.boot
index 53558b27..27f0c5ab 100644
--- a/src/boot/includer.boot
+++ b/src/boot/includer.boot
@@ -77,7 +77,7 @@ PNAME x ==
char x ==
CHAR(PNAME x, 0)
-EQCAR(x,y)== CONSP x and EQ(CAR x,y)
+EQCAR(x,y)== CONSP x and EQ(first x,y)
-- returns the string representation of object X.
STRINGIMAGE x ==
@@ -96,7 +96,7 @@ shoeNotFound fn ==
shoeReadLispString(s,n) ==
l:=# s
n >= l => nil
- READ_-FROM_-STRING CONCAT ( "(", SUBSTRING(s,n,l-n) ,")")
+ READ_-FROM_-STRING strconc ( "(", SUBSTRING(s,n,l-n) ,")")
-- read a line from stream
shoeReadLine stream ==
@@ -108,10 +108,18 @@ shoeConsole line ==
shoeSpaces n == MAKE_-FULL_-CVEC(n, '".")
+
+--%
+
+diagnosticLocation tok ==
+ pos := shoeTokPosn tok
+ strconc('"line ", STRINGIMAGE lineNo pos, '", column ",
+ STRINGIMAGE lineCharacter pos)
+
SoftShoeError(posn,key)==
coreError ['"in line ", STRINGIMAGE lineNo posn]
shoeConsole lineString posn
- shoeConsole CONCAT(shoeSpaces lineCharacter posn,'"|")
+ shoeConsole strconc(shoeSpaces lineCharacter posn,'"|")
shoeConsole key
bpSpecificErrorAtToken(tok, key) ==
@@ -123,30 +131,30 @@ bpSpecificErrorHere(key) == bpSpecificErrorAtToken($stok, key)
bpGeneralErrorHere() == bpSpecificErrorHere('"syntax error")
bpIgnoredFromTo(pos1, pos2) ==
- shoeConsole CONCAT('"ignored from line ", STRINGIMAGE lineNo pos1)
+ shoeConsole strconc('"ignored from line ", STRINGIMAGE lineNo pos1)
shoeConsole lineString pos1
- shoeConsole CONCAT(shoeSpaces lineCharacter pos1,'"|")
- shoeConsole CONCAT('"ignored through line ", STRINGIMAGE lineNo pos2)
+ shoeConsole strconc(shoeSpaces lineCharacter pos1,'"|")
+ shoeConsole strconc('"ignored through line ", STRINGIMAGE lineNo pos2)
shoeConsole lineString pos2
- shoeConsole CONCAT(shoeSpaces lineCharacter pos2,'"|")
+ shoeConsole strconc(shoeSpaces lineCharacter pos2,'"|")
-- Line inclusion support.
lineNo p==CDAAR p
lineString p==CAAAR p
-lineCharacter p==CDR p
+lineCharacter p==rest p
shoePackageStartsAt (lines,sz,name,stream)==
bStreamNull stream => [[],['nullstream]]
a:=CAAR stream
if #a >= 8 and SUBSTRING(a,0,8)='")package"
- then shoePackageStartsAt(cons(CAAR stream,lines),sz,name,CDR stream)
+ then shoePackageStartsAt(cons(CAAR stream,lines),sz,name,rest stream)
else
if #a<sz
- then shoePackageStartsAt(lines, sz,name,CDR stream)
+ then shoePackageStartsAt(lines, sz,name,rest stream)
else if SUBSTRING(a,0,sz)=name and (#a>sz and not shoeIdChar(a.sz))
then [lines,stream]
- else shoePackageStartsAt(lines,sz,name,CDR stream)
+ else shoePackageStartsAt(lines,sz,name,rest stream)
shoeFindLines(fn,name,a)==
if null a
@@ -159,12 +167,12 @@ shoeFindLines(fn,name,a)==
b:=shoeTransform2 b
if bStreamNull b
then
- shoeConsole CONCAT (name,'" not found in ",fn)
+ shoeConsole strconc (name,'" not found in ",fn)
[]
else
if null lines
then shoeConsole '")package not found"
- append(reverse lines,car b)
+ append(reverse lines,first b)
-- Lazy inclusion support.
@@ -174,8 +182,8 @@ bStreamNull x==
null x or EQCAR (x,"nullstream") => true
while EQCAR(x,"nonnullstream") repeat
st:=APPLY(CADR x,CDDR x)
- RPLACA(x,CAR st)
- RPLACD(x,CDR st)
+ RPLACA(x,first st)
+ RPLACD(x,rest st)
EQCAR(x,"nullstream")
bMap(f,x)==bDelay(function bMap1, [f,x])
@@ -184,14 +192,14 @@ bMap1(:z)==
[f,x]:=z
if bStreamNull x
then $bStreamNil
- else cons(FUNCALL(f,car x),bMap(f,cdr x))
+ else cons(FUNCALL(f,first x),bMap(f,rest x))
shoeFileMap(f, fn)==
a:=shoeInputFile fn
null a =>
- shoeConsole CONCAT(fn,'" NOT FOUND")
+ shoeConsole strconc(fn,'" NOT FOUND")
$bStreamNil
- shoeConsole CONCAT('"READING ",fn)
+ shoeConsole strconc('"READING ",fn)
shoeInclude bAddLineNumber(bMap(f,bRgen a),bIgen 0)
@@ -200,7 +208,7 @@ bDelay(f,x)==cons("nonnullstream",[f,:x])
bAppend(x,y)==bDelay(function bAppend1,[x,y])
bAppend1(:z)==
- if bStreamNull car z
+ if bStreamNull first z
then if bStreamNull CADR z
then ["nullstream"]
else CADR z
@@ -211,22 +219,22 @@ bNext(f,s)==bDelay(function bNext1,[f,s])
bNext1(f,s)==
bStreamNull s=> ["nullstream"]
h:= APPLY(f, [s])
- bAppend(car h,bNext(f,cdr h))
+ bAppend(first h,bNext(f,rest h))
bRgen s==bDelay(function bRgen1,[s])
bRgen1(:s) ==
- a:=shoeReadLine car s
+ a:=shoeReadLine first s
if shoePLACEP a
then
--- shoeCLOSE car s
+-- shoeCLOSE first s
["nullstream"]
- else cons(a,bRgen car s)
+ else cons(a,bRgen first s)
bIgen n==bDelay(function bIgen1,[n])
bIgen1(:n)==
- n:=car n+1
+ n:=first n+1
cons(n,bIgen n)
bAddLineNumber(f1,f2)==bDelay(function bAddLineNumber1,[f1,f2])
@@ -235,16 +243,16 @@ bAddLineNumber1(:f)==
[f1,f2] := f
bStreamNull f1 => ["nullstream"]
bStreamNull f2 => ["nullstream"]
- cons(cons(CAR f1,CAR f2),bAddLineNumber(CDR f1,CDR f2))
+ cons(cons(first f1,first f2),bAddLineNumber(rest f1,rest f2))
shoeFileInput fn==shoeFileMap(function IDENTITY,fn)
-shoePrefixLisp x== CONCAT('")lisp",x)
+shoePrefixLisp x== strconc('")lisp",x)
shoeLispFileInput fn== shoeFileMap(function shoePrefixLisp,fn)
-shoePrefixLine x== CONCAT('")line",x)
+shoePrefixLine x== strconc('")line",x)
shoeLineFileInput fn== shoeFileMap(function shoePrefixLine,fn)
shoePrefix?(prefix,whole) ==
@@ -284,15 +292,15 @@ shoeFileName x==
a:=shoeBiteOff x
null a => '""
c:=shoeBiteOff CADR a
- null c => CAR a
- CONCAT(CAR a,'".",CAR c)
+ null c => first a
+ strconc(first a,'".",first c)
shoeFnFileName x==
a:=shoeBiteOff x
null a => ['"",'""]
c:=shoeFileName CADR a
- null c => [CAR a,'""]
- [CAR a, c]
+ null c => [first a,'""]
+ [first a, c]
shoeFunctionFileInput [fun,fn]==
shoeOpenInputFile (a,fn,
@@ -302,13 +310,13 @@ shoeInclude s== bDelay(function shoeInclude1,[s])
shoeInclude1 s==
bStreamNull s=> s
[h,:t] :=s
- string :=CAR h
+ string :=first h
command :=shoeFin? string => $bStreamNil
command :=shoeIf? string => shoeThen([true],[STTOMC command],t)
bAppend(shoeSimpleLine h,shoeInclude t)
shoeSimpleLine(h) ==
- string :=CAR h
+ string :=first h
shoePlainLine? string=> [h]
command:=shoeLisp? string => [h]
command:=shoeIncludeLisp? string =>
@@ -333,10 +341,10 @@ shoeThen(keep,b,s)== bDelay(function shoeThen1,[keep,b,s])
shoeThen1(keep,b,s)==
bPremStreamNull s=> s
[h,:t] :=s
- string :=CAR h
+ string :=first h
command :=shoeFin? string => bPremStreamNil(h)
- keep1:= car keep
- b1 := car b
+ keep1:= first keep
+ b1 := first b
command :=shoeIf? string =>
keep1 and b1=> shoeThen(cons(true,keep),cons(STTOMC command,b),t)
shoeThen(cons(false,keep),cons(false,b),t)
@@ -348,7 +356,7 @@ shoeThen1(keep,b,s)==
keep1 and not b1=>shoeElse(cons(true,rest keep),cons(true,rest b),t)
shoeElse(cons(false,rest keep),cons(false,rest b),t)
command :=shoeEndIf? string=>
- null cdr b=> shoeInclude t
+ null rest b=> shoeInclude t
shoeThen(rest keep,rest b,t)
keep1 and b1 => bAppend(shoeSimpleLine h,shoeThen(keep,b,t))
shoeThen(keep,b,t)
@@ -357,28 +365,28 @@ shoeElse(keep,b,s)== bDelay(function shoeElse1,[keep,b,s])
shoeElse1(keep,b,s)==
bPremStreamNull s=> s
[h,:t] :=s
- string :=CAR h
+ string :=first h
command :=shoeFin? string => bPremStreamNil(h)
- b1:=car b
- keep1:=car keep
+ b1:=first b
+ keep1:=first keep
command :=shoeIf? string=>
keep1 and b1=> shoeThen(cons(true,keep),cons(STTOMC command,b),t)
shoeThen(cons(false,keep),cons(false,b),t)
command :=shoeEndIf? string =>
- null cdr b=> shoeInclude t
+ null rest b=> shoeInclude t
shoeThen(rest keep,rest b,t)
keep1 and b1 => bAppend(shoeSimpleLine h,shoeElse(keep,b,t))
shoeElse(keep,b,t)
shoeLineSyntaxError(h)==
- shoeConsole CONCAT('"INCLUSION SYNTAX ERROR IN LINE ",
- STRINGIMAGE CDR h)
- shoeConsole car h
+ shoeConsole strconc('"INCLUSION SYNTAX ERROR IN LINE ",
+ STRINGIMAGE rest h)
+ shoeConsole first h
shoeConsole '"LINE IGNORED"
bPremStreamNil(h)==
- shoeConsole CONCAT('"UNEXPECTED )fin IN LINE ",STRINGIMAGE CDR h)
- shoeConsole car h
+ shoeConsole strconc('"UNEXPECTED )fin IN LINE ",STRINGIMAGE rest h)
+ shoeConsole first h
shoeConsole '"REST OF FILE IGNORED"
$bStreamNil
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in
index 5b4c985d..fa1cd3e5 100644
--- a/src/interp/Makefile.in
+++ b/src/interp/Makefile.in
@@ -273,7 +273,7 @@ alql.$(FASLEXT): alql.boot br-search.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
br-search.$(FASLEXT): br-search.boot bc-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
br-saturn.$(FASLEXT): br-saturn.boot bc-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -346,43 +346,43 @@ int-top.$(FASLEXT): int-top.boot incl.$(FASLEXT) i-toplev.$(FASLEXT) \
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-toplev.$(FASLEXT): i-toplev.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-syscmd.$(FASLEXT): i-syscmd.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-output.$(FASLEXT): i-output.boot sys-macros.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-spec2.$(FASLEXT): i-spec2.boot i-spec1.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-spec1.$(FASLEXT): i-spec1.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-funsel.$(FASLEXT): i-funsel.boot i-coerfn.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-map.$(FASLEXT): i-map.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-eval.$(FASLEXT): i-eval.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-coerfn.$(FASLEXT): i-coerfn.boot i-coerce.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-coerce.$(FASLEXT): i-coerce.boot i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-resolv.$(FASLEXT): i-resolv.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-analy.$(FASLEXT): i-analy.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-intern.$(FASLEXT): i-intern.boot i-object.$(FASLEXT) ptrees.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-code.$(FASLEXT): i-code.boot i-object.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -394,7 +394,7 @@ i-util.$(FASLEXT): i-util.boot g-util.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
format.$(FASLEXT): format.boot macros.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
match.$(FASLEXT): match.boot sys-macros.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -449,7 +449,7 @@ package.$(FASLEXT): package.boot clam.$(FASLEXT)
database.$(FASLEXT): database.boot clam.$(FASLEXT) nlib.$(FASLEXT) \
cattable.$(FASLEXT) compat.$(FASLEXT) g-cndata.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
functor.$(FASLEXT): functor.boot category.$(FASLEXT) c-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -671,10 +671,10 @@ g-opt.$(FASLEXT): g-opt.boot def.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
g-timer.$(FASLEXT): g-timer.boot macros.$(FASLEXT) g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
msgdb.$(FASLEXT): msgdb.boot g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
g-boot.$(FASLEXT): g-boot.boot def.$(FASLEXT) g-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -683,7 +683,7 @@ g-error.$(FASLEXT): g-error.boot diagnostics.$(FASLEXT) g-util.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
c-util.$(FASLEXT): c-util.boot g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
pathname.$(FASLEXT): pathname.boot nlib.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index 461b0f66..46ef06d6 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -575,7 +575,7 @@ alql.$(FASLEXT): alql.boot br-search.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
br-search.$(FASLEXT): br-search.boot bc-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
br-saturn.$(FASLEXT): br-saturn.boot bc-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -648,43 +648,43 @@ int-top.$(FASLEXT): int-top.boot incl.$(FASLEXT) i-toplev.$(FASLEXT) \
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-toplev.$(FASLEXT): i-toplev.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-syscmd.$(FASLEXT): i-syscmd.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-output.$(FASLEXT): i-output.boot sys-macros.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-spec2.$(FASLEXT): i-spec2.boot i-spec1.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-spec1.$(FASLEXT): i-spec1.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-funsel.$(FASLEXT): i-funsel.boot i-coerfn.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-map.$(FASLEXT): i-map.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-eval.$(FASLEXT): i-eval.boot i-analy.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-coerfn.$(FASLEXT): i-coerfn.boot i-coerce.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-coerce.$(FASLEXT): i-coerce.boot i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-resolv.$(FASLEXT): i-resolv.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-analy.$(FASLEXT): i-analy.boot i-object.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-intern.$(FASLEXT): i-intern.boot i-object.$(FASLEXT) ptrees.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
i-code.$(FASLEXT): i-code.boot i-object.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -696,7 +696,7 @@ i-util.$(FASLEXT): i-util.boot g-util.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
format.$(FASLEXT): format.boot macros.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
match.$(FASLEXT): match.boot sys-macros.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -751,7 +751,7 @@ package.$(FASLEXT): package.boot clam.$(FASLEXT)
database.$(FASLEXT): database.boot clam.$(FASLEXT) nlib.$(FASLEXT) \
cattable.$(FASLEXT) compat.$(FASLEXT) g-cndata.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
functor.$(FASLEXT): functor.boot category.$(FASLEXT) c-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -973,10 +973,10 @@ g-opt.$(FASLEXT): g-opt.boot def.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
g-timer.$(FASLEXT): g-timer.boot macros.$(FASLEXT) g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
msgdb.$(FASLEXT): msgdb.boot g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
g-boot.$(FASLEXT): g-boot.boot def.$(FASLEXT) g-util.$(FASLEXT)
$(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
@@ -985,7 +985,7 @@ g-error.$(FASLEXT): g-error.boot diagnostics.$(FASLEXT) g-util.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
c-util.$(FASLEXT): c-util.boot g-util.$(FASLEXT)
- $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $<
+ $(BOOTSYS) --compile --output=$@ --load-directory=. $<
pathname.$(FASLEXT): pathname.boot nlib.$(FASLEXT)
$(BOOTSYS) --compile --output=$@ --load-directory=. $<
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index 4e860c08..941f24fb 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -548,7 +548,7 @@ pmatchWithSl(s,p,al) ==
elapsedTime() ==
currentTime:= TEMPUS_-FUGIT()
- elapsedSeconds:= (currentTime-$previousTime)*1.0/$timerTicksPerSecond
+ elapsedSeconds:= (currentTime-$previousTime)*QUOTIENT(1.0,$timerTicksPerSecond)
$previousTime:= currentTime
elapsedSeconds
diff --git a/src/interp/database.boot b/src/interp/database.boot
index fb2e6bf5..d2dd49a4 100644
--- a/src/interp/database.boot
+++ b/src/interp/database.boot
@@ -174,7 +174,7 @@ augmentLisplibModemapsFromFunctor(form,opAlist,signature) ==
nonCategorySigAlist:=
mkAlistOfExplicitCategoryOps first signature or return nil
for (entry:= [[op,sig,:.],pred,sel]) in opAlist |
- or/[(sig in catSig) for catSig in
+ or/[member(sig,catSig) for catSig in
allLASSOCs(op,nonCategorySigAlist)] repeat
skip:=
argl and CONTAINED("$",rest sig) => 'SKIP
diff --git a/src/interp/format.boot b/src/interp/format.boot
index 3144410e..c807bffc 100644
--- a/src/interp/format.boot
+++ b/src/interp/format.boot
@@ -135,9 +135,9 @@ formatModemap modemap ==
target:= substInOrder(alist,target)
sl:= substInOrder(alist,sl)
else if removeIsDomainD pred is [D,npred] then
- pred := SUBST(D,'D,npred)
- target := SUBST(D,'D,target)
- sl := SUBST(D,'D,sl)
+ pred := substitute(D,'D,npred)
+ target := substitute(D,'D,target)
+ sl := substitute(D,'D,sl)
predPart:= formatIf pred
targetPart:= prefix2String target
argTypeList:=
@@ -167,7 +167,7 @@ formatModemap modemap ==
concat(firstPart,'%l,predPart)
substInOrder(alist,x) ==
- alist is [[a,:b],:y] => substInOrder(y,SUBST(b,a,x))
+ alist is [[a,:b],:y] => substInOrder(y,substitute(b,a,x))
x
reportOpSymbol op1 ==
@@ -246,7 +246,7 @@ formatOpSymbol(op,sig) ==
[quad,".",sel]
[quad,".",quad]
op
- STRINGP op or GET(op,"Led") or GET(op,"Nud") =>
+ STRINGP op or GETL(op,"Led") or GETL(op,"Nud") =>
n = 3 =>
if op = 'SEGMENT then op := '".."
op = 'in => [quad,'" ",op,'" ",quad]
@@ -255,7 +255,7 @@ formatOpSymbol(op,sig) ==
op = 'exquo => op
[quad,op,quad]
n = 2 =>
- not GET(op,"Nud") => [quad,op]
+ not GETL(op,"Nud") => [quad,op]
[op,quad]
op
op
@@ -534,13 +534,13 @@ formIterator2String x ==
tuple2String argl ==
null argl => nil
string := first argl
- if string in '("failed" "nil" "prime" "sqfr" "irred")
+ if member(string, '("failed" "nil" "prime" "sqfr" "irred"))
then string := STRCONC('"_"",string,'"_"")
else string :=
ATOM string => object2String string
[f x for x in string]
for x in rest argl repeat
- if x in '("failed" "nil" "prime" "sqfr" "irred") then
+ if member(x,'("failed" "nil" "prime" "sqfr" "irred")) then
x := STRCONC('"_"",x,'"_"")
string:= concat(string,concat(",",f x))
string
@@ -671,7 +671,7 @@ plural(n,string) ==
formatIf pred ==
not pred => nil
- pred in '(T (QUOTE T)) => nil
+ member(pred,'(T (QUOTE T))) => nil
concat('%b,'"if",'%d,pred2English pred)
formatPredParts s ==
@@ -680,7 +680,7 @@ formatPredParts s ==
s is ['devaluate,s1] => formatPredParts s1
s is ['getDomainView,s1,.] => formatPredParts s1
s is ['SUBST,a,b,c] => -- this is a signature
- s1 := formatPredParts SUBST(formatPredParts a,b,c)
+ s1 := formatPredParts substitute(formatPredParts a,b,c)
s1 isnt [fun,sig] => s1
['SIGNATURE,fun,[formatPredParts(r) for r in sig]]
s
diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot
index 8e3dee73..8b00c522 100644
--- a/src/interp/g-timer.boot
+++ b/src/interp/g-timer.boot
@@ -102,8 +102,8 @@ normalizeStatAndStringify t ==
INTP t =>
K := 1024
M := K*K
- t > 9*M => CONCAT(STRINGIMAGE((t + 512*K)/M), '"M")
- t > 9*K => CONCAT(STRINGIMAGE((t + 512)/K), '"K")
+ t > 9*M => CONCAT(STRINGIMAGE QUOTIENT(t + 512*K,M), '"M")
+ t > 9*K => CONCAT(STRINGIMAGE QUOTIENT(t + 512,K), '"K")
STRINGIMAGE t
STRINGIMAGE t
@@ -114,7 +114,7 @@ significantStat t ==
roundStat t ==
not RNUMP t => t
- (FIX (0.5 + t * 1000.0)) / 1000.0
+ QUOTIENT(FIX (0.5 + t * 1000.0), 1000.0)
makeStatString(oldstr,time,abb,flag) ==
time = '"" => oldstr
@@ -224,9 +224,9 @@ computeElapsedTime() ==
currentGCTime:= elapsedGcTime()
gcDelta := currentGCTime - $oldElapsedGCTime
elapsedSeconds:=
- 1.*(currentTime-$oldElapsedTime-gcDelta)/$timerTicksPerSecond
+ 1.* QUOTIENT(currentTime-$oldElapsedTime-gcDelta,$timerTicksPerSecond)
PUT('gc, 'TimeTotal,GETL('gc,'TimeTotal) +
- 1.*gcDelta/$timerTicksPerSecond)
+ 1.*QUOTIENT(gcDelta,$timerTicksPerSecond))
$oldElapsedTime := elapsedUserTime()
$oldElapsedGCTime := elapsedGcTime()
elapsedSeconds
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot
index 6825df75..ea19ccda 100644
--- a/src/interp/i-analy.boot
+++ b/src/interp/i-analy.boot
@@ -251,7 +251,7 @@ bottomUp t ==
-- If this is a type producing form, then we don't want
-- to store the representation object in the environment.
-- Rather, we want to record the reified canonical form.
- if ms is [m] and (m in $LangSupportTypes or isCategoryForm(m,$e))
+ if ms is [m] and (member(m,$LangSupportTypes) or isCategoryForm(m,$e))
then putValue(t,objNew(devaluate objValUnwrap getValue t, m))
-- given no target or package calling, force integer constants to
@@ -627,7 +627,7 @@ sayIntelligentMessageAboutOpAvailability(opName, nArgs) ==
conceptualType: %Thing -> %List
conceptualType type ==
isPartialMode type => $Mode
- type in $LangSupportTypes => $Type
+ member(type,$LangSupportTypes) => $Type
categoryForm?(type) => $Category
$Domain
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot
index 2ab91994..c86ebf13 100644
--- a/src/interp/i-coerce.boot
+++ b/src/interp/i-coerce.boot
@@ -416,7 +416,7 @@ canCoerce1(t1,t2) ==
-- the result is NIL if it fails
t1 = t2 => true
absolutelyCanCoerceByCheating(t1,t2) or t1 = $None or t2 = $Any or
- t1 in '((Mode) (Category)) =>
+ member(t1,'((Mode) (Category))) =>
t2 = $OutputForm => true
NIL
-- next is for tagged union selectors for the time being
@@ -460,8 +460,8 @@ canCoerce1(t1,t2) ==
arg and
t:= last arg
canCoerce(t1,t) and canCoerceByFunction(t,t2) and 'T
- ans or (t1 in '((PositiveInteger) (NonNegativeInteger))
- and canCoerce($Integer,t2))
+ ans or member(t1,'((PositiveInteger) (NonNegativeInteger)))
+ and canCoerce($Integer,t2)
canCoerceFrom0(t1,t2) ==
-- top level test for coercion, which transfers all RN, RF and RR into
@@ -634,7 +634,7 @@ newCanCoerceCommute(t1,t2) ==
canCoercePermute(t1,t2) ==
-- try to generate a sequence of transpositions that will convert
-- t1 into t2
- t2 in '((Integer) (OutputForm)) => NIL
+ member(t2,'((Integer) (OutputForm))) => NIL
towers := computeTTTranspositions(t1,t2)
-- at this point, CAR towers = t1 and last towers should be similar
-- to t2 in the sense that the components of t1 are in the same order
@@ -751,7 +751,7 @@ coerceInteractive(triple,t2) ==
t2 = '$NoValueMode => objNew(val,t2)
if t2 is ['SubDomain,x,.] then t2:= x
-- JHD added category Aug 1996 for BasicMath
- t1 in $LangSupportTypes =>
+ member(t1,$LangSupportTypes) =>
t2 = $OutputForm => objNew(val,t2)
t1 = $Domain and conceptualType t2 = $Category
and ofCategory(val,t2)=> objNew(val,t2)
@@ -946,7 +946,7 @@ getSubDomainPredicate(tSuper, tSub, pred) ==
decl := ['_:, name, ['Mapping, $Boolean, tSuper]]
interpret(decl, nil)
arg := GENSYM()
- pred' := SUBST(arg, "#1", pred)
+ pred' := substitute(arg, "#1", pred)
defn := ['DEF, [name, arg], '(NIL NIL), '(NIL NIL), removeZeroOne pred']
interpret(defn, nil)
op := mkAtree name
@@ -1204,7 +1204,7 @@ coerceIntCommute(obj,target) ==
NIL
coerceIntPermute(object,t2) ==
- t2 in '((Integer) (OutputForm)) => NIL
+ member(t2,'((Integer) (OutputForm))) => NIL
t1 := objMode object
towers := computeTTTranspositions(t1,t2)
-- at this point, CAR towers = t1 and last towers should be similar
diff --git a/src/interp/i-coerfn.boot b/src/interp/i-coerfn.boot
index 4574d9a2..35e60dac 100644
--- a/src/interp/i-coerfn.boot
+++ b/src/interp/i-coerfn.boot
@@ -754,7 +754,7 @@ Mp2Expr(u,source is [mp,vars,S], target is [Expr,T]) ==
Mp2FR(u,S is [.,vl,R],[.,T]) ==
u = '_$fromCoerceable_$ =>
S ^= T => nil
- R in '((Integer) (Fraction (Integer))) => true
+ member(R,'((Integer) (Fraction (Integer)))) => true
nil
S ^= T => coercionFailure()
package :=
@@ -991,7 +991,7 @@ varsInPoly(u) ==
P2FR(u,S is [.,R],[.,T]) ==
u = '_$fromCoerceable_$ =>
S ^= T => nil
- R in '((Integer) (Fraction (Integer))) => true
+ member(R,'((Integer) (Fraction (Integer)))) => true
nil
S ^= T => coercionFailure()
package :=
@@ -1144,10 +1144,10 @@ Qf2F(u,source is [.,D,:.],target) ==
coercionFailure()
[.,:den']:= coerceInt(objNewWrap(den,D),target) or
coercionFailure()
- (unwrap num') * 1.0 / (unwrap den')
+ (unwrap num') * QUOTIENT(1.0, unwrap den')
Rn2F(rnum, source, target) ==
- float(CAR(rnum)/CDR(rnum))
+ float QUOTIENT(CAR rnum, CDR rnum)
-- next function is needed in RN algebra code
--Rn2F([a,:b],source,target) ==
@@ -1421,7 +1421,7 @@ Up2Expr(u,source is [up,var,S], target is [Expr,T]) ==
Up2FR(u,S is [.,x,R],target is [.,T]) ==
u = '_$fromCoerceable_$ =>
S ^= T => nil
- R in '((Integer) (Fraction (Integer))) => true
+ member(R,'((Integer) (Fraction (Integer)))) => true
nil
S ^= T => coercionFailure()
package :=
diff --git a/src/interp/i-eval.boot b/src/interp/i-eval.boot
index 574cbcb0..eed39efe 100644
--- a/src/interp/i-eval.boot
+++ b/src/interp/i-eval.boot
@@ -163,7 +163,7 @@ evaluateFormAsType form ==
form is [op,:args] and constructor? op => evaluateType1 form
t := mkAtree form
-- ??? Maybe we should be more careful about generalized types.
- bottomUp t is [m] and (m in $LangSupportTypes or isCategoryForm(m,$e)) =>
+ bottomUp t is [m] and (member(m,$LangSupportTypes) or isCategoryForm(m,$e)) =>
objVal getValue t
throwEvalTypeMsg("S2IE0004",[form])
diff --git a/src/interp/i-intern.boot b/src/interp/i-intern.boot
index 7a373563..fc2c8145 100644
--- a/src/interp/i-intern.boot
+++ b/src/interp/i-intern.boot
@@ -454,7 +454,7 @@ rempropI(x,prop) ==
$InteractiveFrame:= remprop(id,prop,$InteractiveFrame)
remprop(x,prop,e) ==
- u:= ASSOC(prop,pl:= getProplist(x,e)) =>
+ u:= assoc(prop,pl:= getProplist(x,e)) =>
e:= addBinding(x,DELASC(first u,pl),e)
e
e
diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot
index 20f15757..e79da786 100644
--- a/src/interp/i-output.boot
+++ b/src/interp/i-output.boot
@@ -312,7 +312,7 @@ sayMath u ==
--% Output transformations
outputTran x ==
- x in '("failed" "nil" "prime" "sqfr" "irred") =>
+ member(x,'("failed" "nil" "prime" "sqfr" "irred")) =>
STRCONC('"_"",x,'"_"")
STRINGP x => x
VECP x =>
@@ -436,7 +436,7 @@ outputTran x ==
-- without stack overflow. MCD.
flattenOps l ==
[op, :args ] := l
- op in ['"+",'"*","+","*"] =>
+ member(op,['"+",'"*","+","*"]) =>
[op,:checkArgs(op,args)]
l
@@ -1382,7 +1382,7 @@ output(expr,domain) ==
if $texFormat then texFormat expr
if $mathmlFormat then mathmlFormat expr
if $algebraFormat then mathprintWithNumber expr
- categoryForm? domain or domain in '((Mode) (Domain) (Type)) =>
+ categoryForm? domain or member(domain,'((Mode) (Domain) (Type))) =>
if $algebraFormat then
mathprintWithNumber outputDomainConstructor expr
if $texFormat then
@@ -1616,7 +1616,7 @@ charyMinus(u,v,start,linelength) ==
'" "
charyBinary(d,u,v,start,linelength) ==
- d in '(" := " "= ") =>
+ member(d,'(" := " "= ")) =>
charybdis(['CONCATB,v.1,d],start,linelength)
charybdis(v.2,start+2,linelength-2)
'" "
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot
index 56561df3..7b8acc7f 100644
--- a/src/interp/i-resolv.boot
+++ b/src/interp/i-resolv.boot
@@ -363,7 +363,7 @@ resolveTCat(t,c) ==
rest(t) and (tc := resolveTCat1(t,c)) => tc
-- now check some specific niladic categories
- c in '((Field) (EuclideanDomain)) and ofCategory(t,'(IntegralDomain))=>
+ member(c,'((Field) (EuclideanDomain))) and ofCategory(t,'(IntegralDomain))=>
eqType [$QuotientField, t]
c = '(Field) and t = $Symbol => ['RationalFunction,$Integer]
@@ -427,12 +427,12 @@ getConditionalCategoryOfType1(cat,conditions,match,seen) ==
conditions
conditions
cat is [catName,:.] and (getConstructorKindFromDB catName = "category") =>
- cat in CDR seen => conditions
+ member(cat, CDR seen) => conditions
RPLACD(seen,[cat,:CDR seen])
subCat := getConstructorCategoryFromDB catName
-- substitute vars of cat into category
for v in rest cat for vv in $TriangleVariableList repeat
- subCat := SUBST(v,vv,subCat)
+ subCat := substitute(v,vv,subCat)
getConditionalCategoryOfType1(subCat,conditions,match,seen)
conditions
diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot
index f3bbb54d..3679d1be 100644
--- a/src/interp/i-spec1.boot
+++ b/src/interp/i-spec1.boot
@@ -254,10 +254,11 @@ upand x ==
putTarget(term1,$Boolean)
putTarget(term2,$Boolean)
ms := bottomUp term1
- ms isnt [=$Boolean] => nil
+ ms isnt [=$Boolean] => nil -- use general modemap
$genValue =>
- BooleanEquality(objValUnwrap(getValue term1),
- getConstantFromDomain('(false),$Boolean)) =>
+ -- ??? we should find a way to check whether the
+ -- ??? the type of the second operand matters or not.
+ not objValUnwrap(getValue term1) => -- first operand is `false'
putValue(x,getValue term1)
putModeSet(x,ms)
-- first term is true, so look at the second one
@@ -267,7 +268,7 @@ upand x ==
putModeSet(x,ms)
ms := bottomUp term2
- ms isnt [=$Boolean] => nil
+ ms isnt [=$Boolean] => nil -- use general modemap
-- generate an IF expression and let the rest of the code handle it
-- ??? In full generality, this is still incorrect. We should be
-- ??? looking up modemaps to see whether the interpretation is
@@ -290,8 +291,7 @@ upor x ==
ms := bottomUp term1
ms isnt [=$Boolean] => nil
$genValue =>
- BooleanEquality(objValUnwrap(getValue term1),
- getConstantFromDomain('(true),$Boolean)) =>
+ objValUnwrap(getValue term1) => -- first operand is true, we are done.
putValue(x,getValue term1)
putModeSet(x,ms)
-- first term is false, so look at the second one
@@ -1041,7 +1041,7 @@ evalconstruct(op,l,m,tar) ==
replaceSymbols(modeList,l) ==
-- replaces symbol types with their corresponding polynomial types
-- if not all type are symbols
- not ($Symbol in modeList) => modeList
+ not member($Symbol,modeList) => modeList
modeList is [a,:b] and and/[a=x for x in b] => modeList
[if m=$Symbol then getMinimalVarMode(objValUnwrap(getValue arg),
$declaredMode) else m for m in modeList for arg in l]
@@ -1185,7 +1185,7 @@ isDomainValuedVariable form ==
get(form,'value,$InteractiveFrame) or _
(PAIRP($env) and get(form,'value,$env)) or _
(PAIRP($e) and get(form,'value,$e)))) and
- ((m := objMode(val)) in '((Domain) (Category))
+ (member(m := objMode(val),'((Domain) (Category)))
or conceptualType m = $Category) =>
objValUnwrap(val)
nil
diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot
index f2c554e7..cd46b09b 100644
--- a/src/interp/i-syscmd.boot
+++ b/src/interp/i-syscmd.boot
@@ -983,7 +983,7 @@ interpFunctionDepAlists() ==
fixObjectForPrinting(v) ==
v' := object2Identifier v
EQ(v',"%") => '"\%"
- v' in $msgdbPrims => STRCONC('"\",PNAME v')
+ member(v',$msgdbPrims) => STRCONC('"\",PNAME v')
v
displayProperties(option,l) ==
diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot
index f1defd1f..5af024b8 100644
--- a/src/interp/msgdb.boot
+++ b/src/interp/msgdb.boot
@@ -121,15 +121,15 @@ segmentedMsgPreprocess x ==
ATOM x => x
[head,:tail] := x
center := rightJust := NIL
- if head in '(%ceon "%ceon") then center := true
- if head in '(%rjon "%rjon") then rightJust := true
+ if member(head, '(%ceon "%ceon")) then center := true
+ if member(head, '(%rjon "%rjon")) then rightJust := true
center or rightJust =>
-- start collecting terms
y := NIL
ok := true
while tail and ok repeat
[t,:tail] := tail
- t in '(%ceoff "%ceoff" %rjoff "%rjoff") => ok := NIL
+ member(t, '(%ceoff "%ceoff" %rjoff "%rjoff")) => ok := NIL
y := CONS(segmentedMsgPreprocess t,y)
head1 := [(center => '"%ce"; '"%rj"),:NREVERSE y]
NULL tail => [head1]
@@ -235,8 +235,8 @@ addBlanks msg ==
msg1 := LIST x
blank := '" "
for y in rest msg repeat
- y in '("%n" %n) => blanksOff := true
- y in '("%y" %y) => blanksOff := false
+ member(y,'("%n" %n)) => blanksOff := true
+ member(y,'("%y" %y)) => blanksOff := false
if noBlankAfterP x or noBlankBeforeP y or blanksOff then
msg1 := [y,:msg1]
else
@@ -253,11 +253,11 @@ SETANDFILEQ($msgdbListPrims,'(%m %s %ce %rj "%m" "%s" "%ce" "%rj"))
noBlankBeforeP word==
INTP word => false
- word in $msgdbNoBlanksBeforeGroup => true
+ member(word,$msgdbNoBlanksBeforeGroup) => true
if CVECP word and SIZE word > 1 then
word.0 = char '% and word.1 = char 'x => return true
word.0 = char " " => return true
- (PAIRP word) and (CAR word in $msgdbListPrims) => true
+ (PAIRP word) and member(CAR word,$msgdbListPrims) => true
false
$msgdbPunct := '(_[ _( "[" "(" )
@@ -266,11 +266,11 @@ SETANDFILEQ($msgdbNoBlanksAfterGroup,['" ", " ",'"%" ,"%",_
noBlankAfterP word==
INTP word => false
- word in $msgdbNoBlanksAfterGroup => true
+ member(word,$msgdbNoBlanksAfterGroup) => true
if CVECP word and (s := SIZE word) > 1 then
word.0 = char '% and word.1 = char 'x => return true
word.(s-1) = char " " => return true
- (PAIRP word) and (CAR word in $msgdbListPrims) => true
+ (PAIRP word) and member(CAR word, $msgdbListPrims) => true
false
cleanUpSegmentedMsg msg ==
@@ -284,10 +284,10 @@ cleanUpSegmentedMsg msg ==
"%b" "%d" "%l" "%i" "%m" "%u" "%ce" "%rj")
msg1 := NIL
for x in msg repeat
- if haveBlank and ((x in blanks) or (x in prims)) then
+ if haveBlank and (member(x,blanks) or member(x,prims)) then
msg1 := CDR msg1
msg1 := cons(x,msg1)
- haveBlank := (x in blanks => true; NIL)
+ haveBlank := (member(x,blanks) => true; NIL)
msg1
operationLink name ==
@@ -469,7 +469,7 @@ queryUserKeyedMsg(key,args) ==
-- display message and return reply
conStream := DEFIOSTREAM ('((DEVICE . CONSOLE) (MODE . INPUT)),120,0)
sayKeyedMsg(key,args)
- ans := READ_-LINE conStream
+ ans := read_-line conStream
SHUT conStream
ans
@@ -477,7 +477,7 @@ flowSegmentedMsg(msg, len, offset) ==
-- tries to break a sayBrightly-type input msg into multiple
-- lines, with offset and given length.
-- msgs that are entirely centered or right justified are not flowed
- msg is [[ce,:.]] and ce in '(%ce "%ce" %rj "%rj") => msg
+ msg is [[ce,:.]] and member(ce, '(%ce "%ce" %rj "%rj")) => msg
-- if we are formatting latex, then we assume
-- that nothing needs to be done
@@ -494,23 +494,23 @@ flowSegmentedMsg(msg, len, offset) ==
PAIRP msg =>
lnl := offset
- if msg is [a,:.] and a in '(%b %d _ "%b" "%d" " ") then
+ if msg is [a,:.] and member(a,'(%b %d _ "%b" "%d" " ")) then
nl := [off1]
lnl := lnl - 1
else nl := [off]
for f in msg repeat
- f in '("%l" %l) =>
+ member(f,'("%l" %l)) =>
actualMarg := potentialMarg
if lnl = 99999 then nl := ['%l,:nl]
lnl := 99999
- PAIRP(f) and CAR(f) in '("%m" %m '%ce "%ce" %rj "%rj") =>
+ PAIRP(f) and member(CAR(f),'("%m" %m '%ce "%ce" %rj "%rj")) =>
actualMarg := potentialMarg
nl := [f,'%l,:nl]
lnl := 199999
- f in '("%i" %i ) =>
+ member(f,'("%i" %i )) =>
potentialMarg := potentialMarg + 3
nl := [f,:nl]
- PAIRP(f) and CAR(f) in '("%t" %t) =>
+ PAIRP(f) and member(CAR(f),'("%t" %t)) =>
potentialMarg := potentialMarg + CDR f
nl := [f,:nl]
sbl := sayBrightlyLength f
@@ -524,7 +524,7 @@ flowSegmentedMsg(msg, len, offset) ==
nl := [f,:nl]
lnl := lnl + sbl
else
- f in '(%b %d _ "%b" "%d" " ") =>
+ member(f,'(%b %d _ "%b" "%d" " ")) =>
nl := [f,off1,'%l,:nl]
actualMarg := potentialMarg
lnl := -1 + offset + sbl
@@ -571,8 +571,8 @@ bright x == ['"%b",:(PAIRP(x) and NULL CDR LASTNODE x => x; [x]),'"%d"]
--bright x == ['%b,:(ATOM x => [x]; x),'%d]
mkMessage msg ==
- msg and (PAIRP msg) and ((first msg) in '(%l "%l")) and
- ((last msg) in '(%l "%l")) => concat msg
+ msg and (PAIRP msg) and member((first msg),'(%l "%l")) and
+ member((last msg),'(%l "%l")) => concat msg
concat('%l,msg,'%l)
sayMessage msg == sayMSG mkMessage msg
@@ -711,7 +711,7 @@ blankIndicator x ==
nil
brightPrint1 x ==
- if x in '(%l "%l") then sayNewLine()
+ if member(x,'(%l "%l")) then sayNewLine()
else if STRINGP x then sayString x
else brightPrintHighlight x
NIL
@@ -728,7 +728,7 @@ brightPrintHighlight x ==
[key,:rst] := x
if IDENTP key then key:=PNAME key
key = '"%m" => mathprint rst
- key in '("%p" "%s") => PRETTYPRIN0 rst
+ member(key,'("%p" "%s")) => PRETTYPRIN0 rst
key = '"%ce" => brightPrintCenter rst
key = '"%rj" => brightPrintRightJustify rst
key = '"%t" => $MARG := $MARG + tabber rst
@@ -791,7 +791,7 @@ brightPrintCenter x ==
y := NIL
ok := true
while x and ok repeat
- if CAR(x) in '(%l "%l") then ok := NIL
+ if member(CAR(x),'(%l "%l")) then ok := NIL
else y := cons(CAR x, y)
x := CDR x
y := NREVERSE y
@@ -838,7 +838,7 @@ brightPrintRightJustify x ==
y := NIL
ok := true
while x and ok repeat
- if CAR(x) in '(%l "%l") then ok := NIL
+ if member(CAR(x),'(%l "%l")) then ok := NIL
else y := cons(CAR x, y)
x := CDR x
y := NREVERSE y
@@ -900,7 +900,7 @@ sayAsManyPerLineAsPossible l ==
if str ^= '"" then sayMSG str
NIL
-say2PerLine l == say2PerLineWidth(l,$LINELENGTH / 2)
+say2PerLine l == say2PerLineWidth(l, QUOTIENT($LINELENGTH,2))
say2PerLineWidth(l,n) ==
[short,long] := say2Split(l,nil,nil,n)
@@ -922,7 +922,7 @@ sayLongOperation x ==
sayBrightly x
splitListOn(x,key) ==
- key in x =>
+ member(key,x) =>
while first x ^= key repeat
y:= [first x,:y]
x:= rest x
@@ -933,7 +933,7 @@ say2PerLineThatFit l ==
while l repeat
sayBrightlyNT first l
sayBrightlyNT
- fillerSpaces((($LINELENGTH/2)-sayDisplayWidth first l),'" ")
+ fillerSpaces((QUOTIENT($LINELENGTH,2)-sayDisplayWidth first l),'" ")
(l:= rest l) =>
sayBrightlyNT first l
l:= rest l
@@ -947,7 +947,7 @@ sayDisplayStringWidth x ==
sayDisplayWidth x ==
PAIRP x =>
+/[fn y for y in x] where fn y ==
- y in '(%b %d "%b" "%d") or y=$quadSymbol => 1
+ member(y,'(%b %d "%b" "%d")) or y=$quadSymbol => 1
k := blankIndicator y => k
sayDisplayWidth y
x = "%%" or x = '"%%" => 1
@@ -964,7 +964,7 @@ pp2Cols(al) ==
ppPair(abb,name)
if canFit2ndEntry(name,al) then
[[abb,:name],:al]:= al
- TAB ($LINELENGTH / 2)
+ TAB QUOTIENT($LINELENGTH,2)
ppPair(abb,name)
sayNewLine()
nil
@@ -973,7 +973,7 @@ ppPair(abb,name) ==
sayBrightlyNT [:bright abb,fillerSpaces(8-entryWidth abb," "),name]
canFit2ndEntry(name,al) ==
- wid := ($LINELENGTH/2) - 10
+ wid := QUOTIENT($LINELENGTH,2) - 10
null al => nil
entryWidth name > wid => nil
entryWidth CDAR al > wid => nil
diff --git a/src/interp/newfort.boot b/src/interp/newfort.boot
index d4bbf6b6..a83d2381 100644
--- a/src/interp/newfort.boot
+++ b/src/interp/newfort.boot
@@ -121,7 +121,7 @@ exp2Fort2(e,prec,oldOp) ==
nprec := unaryPrecs.p
s := [:exp2Fort2(first args,nprec,op),op]
op = '"-" and atom first args => s
- op = oldOp and op in ['"*",'"+"] => s
+ op = oldOp and member(op,['"*",'"+"]) => s
nprec <= prec => ['")",:s,'"("]
s
exp2FortFn(op,args,nargs)