aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-09-20 04:57:39 +0000
committerdos-reis <gdr@axiomatics.org>2007-09-20 04:57:39 +0000
commitc75b5923cb35d83910e45f13e9d15c981ea25387 (patch)
treea6c3a03b1ac5fef72e01fe1d60873d277222a52b /src/interp
parent516d3e4928185c380ffee8249454fe76ab6f2851 (diff)
downloadopen-axiom-c75b5923cb35d83910e45f13e9d15c981ea25387.tar.gz
remove pamphlets - part 7
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/nruncomp.boot (renamed from src/interp/nruncomp.boot.pamphlet)28
-rw-r--r--src/interp/nrunfast.boot (renamed from src/interp/nrunfast.boot.pamphlet)26
-rw-r--r--src/interp/nrungo.boot (renamed from src/interp/nrungo.boot.pamphlet)22
-rw-r--r--src/interp/nrunopt.boot (renamed from src/interp/nrunopt.boot.pamphlet)26
-rw-r--r--src/interp/nruntime.boot (renamed from src/interp/nruntime.boot.pamphlet)22
-rw-r--r--src/interp/osyscmd.boot (renamed from src/interp/osyscmd.boot.pamphlet)22
-rw-r--r--src/interp/package.boot (renamed from src/interp/package.boot.pamphlet)26
-rw-r--r--src/interp/packtran.boot (renamed from src/interp/packtran.boot.pamphlet)26
-rw-r--r--src/interp/pathname.boot (renamed from src/interp/pathname.boot.pamphlet)22
-rw-r--r--src/interp/pf2atree.boot (renamed from src/interp/pf2atree.boot.pamphlet)22
-rw-r--r--src/interp/pf2sex.boot (renamed from src/interp/pf2sex.boot.pamphlet)65
-rw-r--r--src/interp/postpar.boot (renamed from src/interp/postpar.boot.pamphlet)26
-rw-r--r--src/interp/profile.boot (renamed from src/interp/profile.boot.pamphlet)22
-rw-r--r--src/interp/pspad1.boot (renamed from src/interp/pspad1.boot.pamphlet)26
-rw-r--r--src/interp/pspad2.boot (renamed from src/interp/pspad2.boot.pamphlet)22
-rw-r--r--src/interp/redefs.boot.pamphlet92
-rw-r--r--src/interp/rulesets.boot (renamed from src/interp/rulesets.boot.pamphlet)22
-rw-r--r--src/interp/server.boot (renamed from src/interp/server.boot.pamphlet)22
-rw-r--r--src/interp/setq.lisp (renamed from src/interp/setq.lisp.pamphlet)168
-rw-r--r--src/interp/sfsfun-l.lisp (renamed from src/interp/sfsfun-l.lisp.pamphlet)26
-rw-r--r--src/interp/showimp.boot (renamed from src/interp/showimp.boot.pamphlet)28
-rw-r--r--src/interp/simpbool.boot (renamed from src/interp/simpbool.boot.pamphlet)22
-rw-r--r--src/interp/slam.boot (renamed from src/interp/slam.boot.pamphlet)24
-rw-r--r--src/interp/sockio.lisp (renamed from src/interp/sockio.lisp.pamphlet)52
-rw-r--r--src/interp/spad.lisp (renamed from src/interp/spad.lisp.pamphlet)302
-rw-r--r--src/interp/spaderror.lisp (renamed from src/interp/spaderror.lisp.pamphlet)80
-rw-r--r--src/interp/topics.boot9
-rw-r--r--src/interp/topics.boot.pamphlet263
-rw-r--r--src/interp/wi1.boot (renamed from src/interp/wi1.boot.pamphlet)226
-rw-r--r--src/interp/wi2.boot (renamed from src/interp/wi2.boot.pamphlet)28
-rw-r--r--src/interp/word.boot (renamed from src/interp/word.boot.pamphlet)22
31 files changed, 358 insertions, 1431 deletions
diff --git a/src/interp/nruncomp.boot.pamphlet b/src/interp/nruncomp.boot
index fbc94289..71bb7b77 100644
--- a/src/interp/nruncomp.boot.pamphlet
+++ b/src/interp/nruncomp.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\$SPAD/src/interp nruncomp.boot}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
-----------------------------NEW buildFunctor CODE-----------------------------
NRTaddDeltaCode() ==
@@ -162,7 +142,7 @@ optDeltaEntry(op,sig,dc,eltOrConst) ==
not(IDENTP x) => x
get(x,'value,$e) => x
x='$ => x
- MKQ x
+ MKQ x
fn := compiledLookup(op,nsig,dcval)
if null fn then return nil
eltOrConst="CONST" => ['XLAM,'ignore,MKQ SPADCALL fn]
@@ -761,9 +741,3 @@ NRTputInTail x ==
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/nrunfast.boot.pamphlet b/src/interp/nrunfast.boot
index e6a29b12..db9136af 100644
--- a/src/interp/nrunfast.boot.pamphlet
+++ b/src/interp/nrunfast.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp nrunfast.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--=======================================================================
-- Basic Functions
@@ -548,7 +532,7 @@ newExpandLocalTypeForm([functorName,:argl],dollar,domain) ==
[functorName,:[['_:,tag,newExpandLocalTypeArgs(dom,dollar,domain,true)]
for [.,tag,dom] in argl]]
MEMQ(functorName, '(Union Mapping)) =>
- [functorName,:[newExpandLocalTypeArgs(a,dollar,domain,true) for a in argl]]
+ [functorName,:[newExpandLocalTypeArgs(a,dollar,domain,true) for a in argl]]
functorName = 'QUOTE => [functorName,:argl]
coSig := GETDATABASE(functorName,'COSIG)
NULL coSig => error ["bad functorName", functorName]
@@ -628,7 +612,7 @@ newHasTest(domform,catOrAtt) ==
for [aCat,:cond] in [:ancestorsOf(domform,NIL),:SUBLISLIS (rest domform,$FormalMapVariableList,GETDATABASE(opOf domform,'ATTRIBUTES))] | aCat = catOrAtt repeat
return evalCond cond where
evalCond x ==
- ATOM x => x
+ ATOM x => x
[pred,:l] := x
pred = 'has =>
l is [ w1,['ATTRIBUTE,w2]] => newHasTest(w1,w2)
@@ -684,9 +668,3 @@ sayLooking1(prefix,dom) ==
cc() == -- don't remove this function
clearConstructorCaches()
clearClams()
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/nrungo.boot.pamphlet b/src/interp/nrungo.boot
index 72a8e153..379b511a 100644
--- a/src/interp/nrungo.boot.pamphlet
+++ b/src/interp/nrungo.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp nrungo.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--=======================================================
-- Lookup From Interpreter
@@ -409,9 +393,3 @@ mkDiffAssoc(op,body,k,sharpPosition,sharpArg,diffSlot,vecname) ==
['$failed]
"union"/[mkDiffAssoc(op,x,k,sharpPosition,sharpArg,diffSlot,vecname) for x in argl]
systemErrorHere '"mkDiffAssoc"
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/nrunopt.boot.pamphlet b/src/interp/nrunopt.boot
index 672131fc..7bdba59a 100644
--- a/src/interp/nrunopt.boot.pamphlet
+++ b/src/interp/nrunopt.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/nrunopt.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--=======================================================================
-- Generate Code to Create Infovec
@@ -921,9 +901,3 @@ templateVal(template,domform,index) ==
index = 0 => harhar() --template
template.index
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/nruntime.boot.pamphlet b/src/interp/nruntime.boot
index c2d809d1..23606999 100644
--- a/src/interp/nruntime.boot.pamphlet
+++ b/src/interp/nruntime.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp nruntime.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
unloadOneConstructor(cnam,fn) ==
REMPROP(cnam,'LOADED)
@@ -72,9 +56,3 @@ isCategoryPackageName nam ==
p.(MAXINDEX p) = char '_&
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/osyscmd.boot.pamphlet b/src/interp/osyscmd.boot
index c1afede2..996d53f8 100644
--- a/src/interp/osyscmd.boot.pamphlet
+++ b/src/interp/osyscmd.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp osyscmd.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -67,9 +51,3 @@ parseFromString(s) ==
StreamNull s => nil
pf2Sex macroExpanded first rest first s
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/package.boot.pamphlet b/src/interp/package.boot
index f97f86ac..399838ef 100644
--- a/src/interp/package.boot.pamphlet
+++ b/src/interp/package.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/package.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -292,9 +272,3 @@ addSuffix(n,u) ==
INTERNL STRCONC(s,STRINGIMAGE ";",STRINGIMAGE n)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/packtran.boot.pamphlet b/src/interp/packtran.boot
index b1814ddf..9634b9b6 100644
--- a/src/interp/packtran.boot.pamphlet
+++ b/src/interp/packtran.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\$SPAD/src/interp packtran.boot}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -78,9 +58,3 @@ zeroOneTran sex ==
NSUBST("$EmptyMode", "?", sex)
sex
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/pathname.boot.pamphlet b/src/interp/pathname.boot
index 300d2c41..f10cf327 100644
--- a/src/interp/pathname.boot.pamphlet
+++ b/src/interp/pathname.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp pathname.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -157,9 +141,3 @@ updateSourceFiles p ==
if MAKE_-INPUT_-FILENAME p and pathnameTypeId p in '(BOOT LISP META) then
$sourceFiles := insert(p, $sourceFiles)
p
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/pf2atree.boot.pamphlet b/src/interp/pf2atree.boot
index 29e85ad1..0ea1cf7f 100644
--- a/src/interp/pf2atree.boot.pamphlet
+++ b/src/interp/pf2atree.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp pf2atree.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
-- not hooked in yet
@@ -567,9 +551,3 @@ pfCollect2Atree pf ==
-- rhsSex := pf2Atree CADR argList
-- $predicateList := [[name, lhsSex, :rhsSex], :$predicateList]
-- name
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/pf2sex.boot.pamphlet b/src/interp/pf2sex.boot
index a5ea9b6e..da4c7b19 100644
--- a/src/interp/pf2sex.boot.pamphlet
+++ b/src/interp/pf2sex.boot
@@ -1,59 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp pf2sex.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{Changes}
-In the function [[float2Sex]] we need to special case the return value
-if the global variable [[$useBFasDefault]] is set to true. This variable
-allows ``big'' floating point values.
-
-The change can be seen from this email from Greg Vanuxem:
-\begin{verbatim}
-Attached is the patch (pf2sex.patch) that allows the use
-of DoubleFloat by default in the interpreter. Test it.
-
-(1) -> 1.7+7.2
-
- (1) 8.9
- Type: Float
-(2) -> 1.7-7.2
-
- (2) - 5.5
- Type: Float
-(3) -> -1.7-7.2
-
- (3) - 8.9
- Type: Float
-(4) -> )boot $useBFasDefault:=false
-
-(SPADLET |$useBFasDefault| NIL)
-Value = NIL
-
-(4) -> 1.7+7.2
-
- (4) 8.9000000000000004
- Type: DoubleFloat
-(5) -> 1.7-7.2
-
- (5) - 5.5
- Type: DoubleFloat
-(6) -> -1.7-7.2
-
- (6) - 8.9000000000000004
- Type: DoubleFloat
-
-
-
-\end{verbatim}
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -85,9 +29,6 @@ Value = NIL
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -518,9 +459,3 @@ pfSuchThat2Sex args ==
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/postpar.boot.pamphlet b/src/interp/postpar.boot
index 67cf814a..c5a3619d 100644
--- a/src/interp/postpar.boot.pamphlet
+++ b/src/interp/postpar.boot
@@ -1,19 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\$SPAD/src/interp postpar.boot}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -45,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
import '"postprop"
)package "BOOT"
@@ -546,10 +527,3 @@ hasAplExtension argl ==
deepestExpression x ==
x is ["_!",y] => deepestExpression y
x
-@
-
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/profile.boot.pamphlet b/src/interp/profile.boot
index e3b83f66..b5cb25a1 100644
--- a/src/interp/profile.boot.pamphlet
+++ b/src/interp/profile.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp profile.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--$profileCompiler := true
$profileAlist := nil
@@ -103,9 +87,3 @@ profileDisplayOp(op,alist1) ==
for [op1,:sig] in MSORT alist2 repeat
sayBrightly ['" ",:formatOpSignature(op1,sig)]
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/pspad1.boot.pamphlet b/src/interp/pspad1.boot
index 408ff6f5..b936eb77 100644
--- a/src/interp/pspad1.boot.pamphlet
+++ b/src/interp/pspad1.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/pspad1.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -759,9 +739,3 @@ formatLocal1 a ==
$insideTypeExpression: local := true
format a
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/pspad2.boot.pamphlet b/src/interp/pspad2.boot
index 54e9a584..d97d4cea 100644
--- a/src/interp/pspad2.boot.pamphlet
+++ b/src/interp/pspad2.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp pspad2.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -675,9 +659,3 @@ formatRB(originalC) == --called only by restoreC
$pileStyle => $m
newLine() and format "}" and $m --==> brace
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/redefs.boot.pamphlet b/src/interp/redefs.boot.pamphlet
deleted file mode 100644
index 519c3fbb..00000000
--- a/src/interp/redefs.boot.pamphlet
+++ /dev/null
@@ -1,92 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp redefs.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
--- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--- All rights reserved.
---
--- Redistribution and use in source and binary forms, with or without
--- modification, are permitted provided that the following conditions are
--- met:
---
--- - Redistributions of source code must retain the above copyright
--- notice, this list of conditions and the following disclaimer.
---
--- - Redistributions in binary form must reproduce the above copyright
--- notice, this list of conditions and the following disclaimer in
--- the documentation and/or other materials provided with the
--- distribution.
---
--- - Neither the name of The Numerical ALgorithms Group Ltd. nor the
--- names of its contributors may be used to endorse or promote products
--- derived from this software without specific prior written permission.
---
--- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
--- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
--- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
--- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
--- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
--- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
--- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
--- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
--- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
--- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
--- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-@
-<<*>>=
-<<license>>
-
-)package "BOOT"
-
-BLANKS n== MAKE_-FULL_-CVEC (n)
-
-object2String x==
- STRINGP x=>x
- IDENTP x=> PNAME x
- STRINGIMAGE x
-
-sayMSG x== shoeConsole x
-sayBrightly x==
- brightPrint x
- TERPRI()
-;;char x==CHAR(PNAME x,0)
-pathname x==CONCAT(PNAME(x.0),'".",PNAME(x.1))
-CVECP x== STRINGP x
-concat(:l) == concatList l
-
-concatList [x,:y] ==
- null y => x
- null x => concatList y
- concat1(x,concatList y)
-
-concat1(x,y) ==
- null x => y
- atom x => (null y => x; atom y => [x,y]; [x,:y])
- null y => x
- atom y => [:x,y]
- [:x,:y]
-
---$FILESIZE x==
--- a:=OPEN MAKE_-INPUT_-FILENAME x
--- b:=FILE_-LENGTH a
--- CLOSE a
--- b
-SPADCATCH(x,y)==CATCH(x,y)
-SPADTHROW(x,y)==THROW(x,y)
-listSort(f,l)== SORT(l,f)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/rulesets.boot.pamphlet b/src/interp/rulesets.boot
index b2ceefa6..66f79f7b 100644
--- a/src/interp/rulesets.boot.pamphlet
+++ b/src/interp/rulesets.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp rulesets.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--% Mode and Type Resolution Rule Data and Ruleset Creation
@@ -317,9 +301,3 @@ initializeRuleSets() ==
createTypeEquivRules()
$ruleSetsInitialized := true
true
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/server.boot.pamphlet b/src/interp/server.boot
index 3af5ccdb..01a4a073 100644
--- a/src/interp/server.boot.pamphlet
+++ b/src/interp/server.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp server.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
-- Scratchpad-II server
@@ -232,9 +216,3 @@ protectedEVAL x ==
UNWIND_-PROTECT((val := EVAL x; error := NIL),
error => (resetStackLimits(); sendHTErrorSignal()))
val
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/setq.lisp.pamphlet b/src/interp/setq.lisp
index ae3011b7..6d80b7c4 100644
--- a/src/interp/setq.lisp.pamphlet
+++ b/src/interp/setq.lisp
@@ -1,22 +1,3 @@
-%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/setq.lisp} Pamphlet}
-\author{Timothy Daly}
-
-\begin{document}
-
-\maketitle
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;;
@@ -48,9 +29,6 @@
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
(setq copyrights '(
"Copyright The Numerical Algorithms Group Limited 1991-94."
@@ -96,8 +74,8 @@
(SETQ |$compileOnlyCertainItems| NIL)
(SETQ |$devaluateList| NIL)
(SETQ |$doNotCompressHashTableIfTrue| NIL)
-(SETQ |$mutableChecking| NIL) ; used in DEFINE BOOT
-(SETQ |$mutableDomains| NIL) ; checked in DEFINE BOOT
+(SETQ |$mutableChecking| NIL) ; used in DEFINE BOOT
+(SETQ |$mutableDomains| NIL) ; checked in DEFINE BOOT
(SETQ |$functionLocations| NIL)
(SETQ |$functorLocalParameters| NIL) ; used in compSymbol
(SETQ /RELEASE '"UNKNOWN")
@@ -129,8 +107,8 @@
(SETQ INITCOLUMN 0)
(SETQ |$functionTable| NIL)
(SETQ |$spaddefs| NIL)
-(SETQ |$xeditIsConsole| NIL)
-(SETQ |$echoInputLines| NIL) ;; This is in SETVART also
+(SETQ |$xeditIsConsole| NIL)
+(SETQ |$echoInputLines| NIL) ;; This is in SETVART also
(SETQ |$Slot1DataBase| (MAKE-HASHTABLE 'ID)) ;; See NRUNTIME BOOT
(SETQ |$pfKeysForBrowse| NIL)
(SETQ MARG 0)
@@ -162,12 +140,12 @@
(SETQ |$InterpreterMacroAlist|
'((|%i| . (|complex| 0 1))
- (|%e| . (|exp| 1))
- (|%pi| . (|pi|))
- (|SF| . (|DoubleFloat|))
- (|%infinity| . (|infinity|))
- (|%plusInfinity| . (|plusInfinity|))
- (|%minusInfinity| . (|minusInfinity|))))
+ (|%e| . (|exp| 1))
+ (|%pi| . (|pi|))
+ (|SF| . (|DoubleFloat|))
+ (|%infinity| . (|infinity|))
+ (|%plusInfinity| . (|plusInfinity|))
+ (|%minusInfinity| . (|minusInfinity|))))
;; variables controlling companion pages (see copage.boot)
(SETQ |$HTCompanionWindowID| nil)
@@ -186,7 +164,7 @@
(SETQ RLGENSYMLST NIL)
(SETQ XTOKENREADER 'SPADTOK)
(SETQ |$delimiterTokenList|
- '(| | |)| |(| |{| |}| |[| |]| ENDOFLINECHR EOI EOL |END_LINE|))
+ '(| | |)| |(| |{| |}| |[| |]| ENDOFLINECHR EOI EOL |END_LINE|))
(SETQ |$generalTokenIfTrue| NIL)
(SETQ OPASSOC NIL)
(SETQ SPADSYSKEY '(EOI EOL))
@@ -215,60 +193,60 @@
;; These were originally in INIT LISP
-(SETQ |$dependeeClosureAlist| NIL)
+(SETQ |$dependeeClosureAlist| NIL)
(SETQ |$userModemaps| NIL)
(SETQ |$functorForm| NIL)
(SETQ |$InitialCommandSynonymAlist| '(
- (|?| . "what commands")
- (|ap| . "what things")
- (|apr| . "what things")
+ (|?| . "what commands")
+ (|ap| . "what things")
+ (|apr| . "what things")
(|apropos| . "what things")
- (|cache| . "set functions cache")
- (|cl| . "clear")
- (|cls| . "zsystemdevelopment )cls")
- (|cms| . "system")
- (|co| . "compiler")
- (|d| . "display")
- (|dep| . "display dependents")
+ (|cache| . "set functions cache")
+ (|cl| . "clear")
+ (|cls| . "zsystemdevelopment )cls")
+ (|cms| . "system")
+ (|co| . "compiler")
+ (|d| . "display")
+ (|dep| . "display dependents")
(|dependents| . "display dependents")
- (|e| . "edit")
+ (|e| . "edit")
(|expose| . "set expose add constructor")
- (|fc| . "zsystemdevelopment )c")
- (|fd| . "zsystemdevelopment )d")
- (|fdt| . "zsystemdevelopment )dt")
- (|fct| . "zsystemdevelopment )ct")
- (|fctl| . "zsystemdevelopment )ctl")
- (|fe| . "zsystemdevelopment )e")
- (|fec| . "zsystemdevelopment )ec")
- (|fect| . "zsystemdevelopment )ect")
- (|fns| . "exec spadfn")
+ (|fc| . "zsystemdevelopment )c")
+ (|fd| . "zsystemdevelopment )d")
+ (|fdt| . "zsystemdevelopment )dt")
+ (|fct| . "zsystemdevelopment )ct")
+ (|fctl| . "zsystemdevelopment )ctl")
+ (|fe| . "zsystemdevelopment )e")
+ (|fec| . "zsystemdevelopment )ec")
+ (|fect| . "zsystemdevelopment )ect")
+ (|fns| . "exec spadfn")
(|fortran| . "set output fortran")
- (|h| . "help")
- (|hd| . "system hypertex &")
- (|kclam| . "boot clearClams ( )")
+ (|h| . "help")
+ (|hd| . "system hypertex &")
+ (|kclam| . "boot clearClams ( )")
(|killcaches| . "boot clearConstructorAndLisplibCaches ( )")
- (|patch| . "zsystemdevelopment )patch")
- (|pause| . "zsystemdevelopment )pause")
+ (|patch| . "zsystemdevelopment )patch")
+ (|pause| . "zsystemdevelopment )pause")
(|prompt| . "set message prompt")
(|recurrence| . "set functions recurrence")
(|restore| . "history )restore")
- (|save| . "history )save")
+ (|save| . "history )save")
(|startGraphics| . "system $AXIOM/lib/viewman &")
(|startNAGLink| . "system $AXIOM/lib/nagman &")
(|stopGraphics| . "lisp (|sockSendSignal| 2 15)")
(|stopNAGLink| . "lisp (|sockSendSignal| 8 15)")
- (|time| . "set message time")
- (|type| . "set message type")
+ (|time| . "set message time")
+ (|type| . "set message type")
(|unexpose| . "set expose drop constructor")
- (|up| . "zsystemdevelopment )update")
+ (|up| . "zsystemdevelopment )update")
(|version| . "lisp *yearweek*")
- (|w| . "what")
- (|wc| . "what categories")
- (|wd| . "what domains")
+ (|w| . "what")
+ (|wc| . "what categories")
+ (|wd| . "what domains")
(|who| . "lisp (pprint credits)")
- (|wp| . "what packages")
- (|ws| . "what synonyms")
+ (|wp| . "what packages")
+ (|ws| . "what synonyms")
))
(SETQ |$CommandSynonymAlist| (COPY |$InitialCommandSynonymAlist|))
@@ -304,7 +282,7 @@
(SETQ |$tracedMapSignatures| ())
(SETQ |$highlightAllowed| 'T)
- ;" used in BRIGHTPRINT and is a )set variable"
+ ;" used in BRIGHTPRINT and is a )set variable"
(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp
@@ -350,44 +328,44 @@
;; Following were originally in EXPLORE BOOT
-(SETQ |$xdatabase| NIL)
+(SETQ |$xdatabase| NIL)
(SETQ |$CatOfCatDatabase| NIL)
(SETQ |$DomOfCatDatabase| NIL)
(SETQ |$JoinOfDomDatabase| NIL)
(SETQ |$JoinOfCatDatabase| NIL)
-(SETQ |$attributeDb| NIL)
+(SETQ |$attributeDb| NIL)
(SETQ |$abbreviateIfTrue| NIL)
-(SETQ |$deltax| 0)
-(SETQ |$deltay| 0)
-(SETQ |$displayDomains| 'T)
-(SETQ |$displayTowardAncestors| NIL)
-(SETQ |$focus| NIL)
+(SETQ |$deltax| 0)
+(SETQ |$deltay| 0)
+(SETQ |$displayDomains| 'T)
+(SETQ |$displayTowardAncestors| NIL)
+(SETQ |$focus| NIL)
(SETQ |$focusAccessPath| NIL)
(SETQ |$minimumSeparation| 3)
-(SETQ |$origMaxColumn| 80)
+(SETQ |$origMaxColumn| 80)
(SETQ |$origMaxRow| 20)
-(SETQ |$origMinColumn| 1)
+(SETQ |$origMinColumn| 1)
(SETQ |$origMinRow| 1)
;; ---- start of initial settings for variables used in test.boot
(SETQ |$testOutputLineFlag| NIL) ;; referenced by charyTop, prnd
- ;; to stash lines
+ ;; to stash lines
(SETQ |$testOutputLineStack| NIL) ;; saves lines to be printed
- ;; (needed to convert lines for use
- ;; in hypertex)
-(SETQ |$runTestFlag| NIL) ;; referenced by maPrin to stash
- ;; output by recordAndPrint to not
- ;; print type/time
-(SETQ |$mkTestFlag| NIL) ;; referenced by READLN to stash input
- ;; by maPrin to stash output
- ;; by recordAndPrint to write i/o
- ;; onto $testStream
-(SETQ |$mkTestInputStack| NIL) ;; saves input for $testStream
- ;; (see READLN)
-(SETQ |$mkTestOutputStack| NIL) ;; saves output for $testStream
- ;; (see maPrin)
+ ;; (needed to convert lines for use
+ ;; in hypertex)
+(SETQ |$runTestFlag| NIL) ;; referenced by maPrin to stash
+ ;; output by recordAndPrint to not
+ ;; print type/time
+(SETQ |$mkTestFlag| NIL) ;; referenced by READLN to stash input
+ ;; by maPrin to stash output
+ ;; by recordAndPrint to write i/o
+ ;; onto $testStream
+(SETQ |$mkTestInputStack| NIL) ;; saves input for $testStream
+ ;; (see READLN)
+(SETQ |$mkTestOutputStack| NIL) ;; saves output for $testStream
+ ;; (see maPrin)
;; ---- end of initial settings for variables used in test.boot
@@ -488,9 +466,3 @@
"Dan Zwillinger"
))
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/sfsfun-l.lisp.pamphlet b/src/interp/sfsfun-l.lisp
index c7c992e0..2a15752a 100644
--- a/src/interp/sfsfun-l.lisp.pamphlet
+++ b/src/interp/sfsfun-l.lisp
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp sfsfun-l.lisp}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;;
@@ -42,9 +29,6 @@
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
(in-package "BOOT")
@@ -62,8 +46,8 @@
(defun c-to-r (c)
(let ((r (realpart c)) (i (imagpart c)))
(if (or (zerop i) (< (abs i) (* 1.0E-10 (abs r))))
- r
- (|error| "Result is not real.")) ))
+ r
+ (|error| "Result is not real.")) ))
;; Wrappers for functions in the special function package
(defun rlngamma (x) (|lnrgamma| x) )
@@ -83,9 +67,3 @@
(defun cbesseli (v z) (c-to-s (|BesselI| (s-to-c v) (s-to-c z)) ))
(defun chyper0f1 (a z) (c-to-s (|chebf01| (s-to-c a) (s-to-c z)) ))
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/showimp.boot.pamphlet b/src/interp/showimp.boot
index 49b72338..94daf168 100644
--- a/src/interp/showimp.boot.pamphlet
+++ b/src/interp/showimp.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/showimp.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -189,7 +169,7 @@ getCategoriesOfDomain domain ==
devaluateSlotDomain(x,domain)
getInheritanceByDoc(D,op,sig,:options) ==
---gets inheritance and documentation information by looking in the LISPLIB
+--gets inheritance and documentation information by looking in the LISPLIB
--for each ancestor of the domain
catList := KAR options or getExtensionsOfDomain D
getDocDomainForOpSig(op,sig,devaluate D,D) or
@@ -270,9 +250,3 @@ formatLazyDomainForm(dom,x) ==
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/simpbool.boot.pamphlet b/src/interp/simpbool.boot
index 88021ab9..12455d20 100644
--- a/src/interp/simpbool.boot.pamphlet
+++ b/src/interp/simpbool.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp simpbool.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -217,9 +201,3 @@ testPredList u ==
pp x
pp '"==========>"
pp y
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/slam.boot.pamphlet b/src/interp/slam.boot
index 4b080f02..8427e698 100644
--- a/src/interp/slam.boot.pamphlet
+++ b/src/interp/slam.boot
@@ -1,17 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\File{src/interp/slam.boot} Pamphlet}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -43,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -350,10 +333,3 @@ clearAllSlams x ==
clearSlam("functor")==
id:= mkCacheName functor
SET(id,nil)
-@
-
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/sockio.lisp.pamphlet b/src/interp/sockio.lisp
index 2a585267..d20205d1 100644
--- a/src/interp/sockio.lisp.pamphlet
+++ b/src/interp/sockio.lisp
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp sockio.lisp}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;;
@@ -42,9 +29,6 @@
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
;; load C socket functions
@@ -180,10 +164,10 @@
(defconstant SessionIO 4)
(defconstant MessageServer 5)
(defconstant InterpWindow 6)
-(defconstant KillSpad 7)
-(defconstant DebugWindow 8)
+(defconstant KillSpad 7)
+(defconstant DebugWindow 8)
(defconstant NAGLinkServer 8)
-(defconstant Forker 9)
+(defconstant Forker 9)
;; same constants for use in BOOT
(defconstant |$SessionManager| SessionManager)
@@ -192,10 +176,10 @@
(defconstant |$SessionIO| SessionIO)
(defconstant |$MessageServer| MessageServer)
(defconstant |$InterpWindow| InterpWindow)
-(defconstant |$KillSpad| KillSpad)
+(defconstant |$KillSpad| KillSpad)
(defconstant |$DebugWindow| DebugWindow)
(defconstant |$NAGLinkServer| NAGLinkServer)
-(defconstant |$Forker| Forker)
+(defconstant |$Forker| Forker)
;; Session Manager action requests
@@ -210,8 +194,8 @@
(defconstant QuietSpadCommand 9)
(defconstant CloseClient 10)
(defconstant QueryClients 11)
-(defconstant QuerySpad 12)
-(defconstant NonSmanSession 13)
+(defconstant QuerySpad 12)
+(defconstant NonSmanSession 13)
(defconstant KillLispSystem 14)
(defconstant |$CreateFrame| CreateFrame)
@@ -225,27 +209,27 @@
(defconstant |$QuietSpadCommand| QuietSpadCommand)
(defconstant |$CloseClient| CloseClient)
(defconstant |$QueryClients| QueryClients)
-(defconstant |$QuerySpad| QuerySpad)
-(defconstant |$NonSmanSession| NonSmanSession)
+(defconstant |$QuerySpad| QuerySpad)
+(defconstant |$NonSmanSession| NonSmanSession)
(defconstant |$KillLispSystem| KillLispSystem)
;; signal types (from /usr/include/sys/signal.h)
#+(and :Lucid (not :ibm/370))
(progn
- (defconstant SIGUSR1 16) ;; user defined signal 1
- (defconstant SIGUSR2 17) ;; user defined signal 2
+ (defconstant SIGUSR1 16) ;; user defined signal 1
+ (defconstant SIGUSR2 17) ;; user defined signal 2
)
#+:RIOS
(progn
- (defconstant SIGUSR1 30) ;; user defined signal 1
- (defconstant SIGUSR2 31) ;; user defined signal 2
+ (defconstant SIGUSR1 30) ;; user defined signal 1
+ (defconstant SIGUSR2 31) ;; user defined signal 2
)
#+:IBMPS2
(progn
- (defconstant SIGUSR1 30) ;; user defined signal 1
- (defconstant SIGUSR2 31) ;; user defined signal 2
+ (defconstant SIGUSR1 30) ;; user defined signal 1
+ (defconstant SIGUSR2 31) ;; user defined signal 2
)
(setq |$NaNvalue| (NANQ))
@@ -255,9 +239,3 @@
(setq |$plusInfinity| MOST-POSITIVE-LONG-FLOAT)
(setq |$minusInfinity| (- |$plusInfinity|))
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/spad.lisp.pamphlet b/src/interp/spad.lisp
index 010aa043..dedfa3e0 100644
--- a/src/interp/spad.lisp.pamphlet
+++ b/src/interp/spad.lisp
@@ -1,23 +1,3 @@
-%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
-
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/spad.lisp} Pamphlet}
-\author{Timothy Daly}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;;
@@ -49,12 +29,8 @@
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-
-<<*>>=
-<<license>>
-; NAME: Scratchpad Package
+; NAME: Scratchpad Package
; PURPOSE: This is an initialization and system-building file for Scratchpad.
(IMPORT-MODULE "bootlex")
@@ -136,14 +112,14 @@
(DEFUN /TRANSPAD (X)
(PROG (proplist)
- (setq proplist (LIST '(FLUID . |true|)
- (CONS '|special|
- (COPY-TREE |$InitialDomainsInScope|))))
- (SETQ |$InteractiveFrame|
- (|addBinding| '|$DomainsInScope| proplist
- (|addBinding| '|$Information| NIL
- (COPY-TREE |$InitialModemapFrame|))))
- (RETURN (PROGN (S-PROCESS X) NIL))))
+ (setq proplist (LIST '(FLUID . |true|)
+ (CONS '|special|
+ (COPY-TREE |$InitialDomainsInScope|))))
+ (SETQ |$InteractiveFrame|
+ (|addBinding| '|$DomainsInScope| proplist
+ (|addBinding| '|$Information| NIL
+ (COPY-TREE |$InitialModemapFrame|))))
+ (RETURN (PROGN (S-PROCESS X) NIL))))
;; NIL needed below since END\_UNIT is not generated by current parser
@@ -151,26 +127,26 @@
(SETQ |$compCount| 0)
(EMBED '|comp|
'(LAMBDA (X Y Z)
- (PROG (U)
- (SETQ |$compCount| (1+ |$compCount|))
- (SETQ |yesOrNo| (if (SETQ U (|comp| X Y Z))
- (if (EQUAL (SECOND U) Y) '|yes| (SECOND U))
- ('T '|no|)))
- (|sayBrightly| (CONS (MAKE-FULL-CVEC |$compCount| " ")
- (LIST X " --> " Y '|%b| |yesOrNo| '|%d|)))
- (SETQ |$compCount| (1- |$compCount|))
- (RETURN U) )))
+ (PROG (U)
+ (SETQ |$compCount| (1+ |$compCount|))
+ (SETQ |yesOrNo| (if (SETQ U (|comp| X Y Z))
+ (if (EQUAL (SECOND U) Y) '|yes| (SECOND U))
+ ('T '|no|)))
+ (|sayBrightly| (CONS (MAKE-FULL-CVEC |$compCount| " ")
+ (LIST X " --> " Y '|%b| |yesOrNo| '|%d|)))
+ (SETQ |$compCount| (1- |$compCount|))
+ (RETURN U) )))
(|comp| $x $m $f)
(UNEMBED '|comp|))
(defun READ-SPAD (FN FM TO)
(LET ((proplist
- (LIST '(FLUID . |true|)
- (CONS '|special| (COPY-TREE |$InitialDomainsInScope|)))))
+ (LIST '(FLUID . |true|)
+ (CONS '|special| (COPY-TREE |$InitialDomainsInScope|)))))
(SETQ |$InteractiveFrame|
- (|addBinding| '|$DomainsInScope| proplist
- (|addBinding| '|$Information| NIL
- (|makeInitialModemapFrame|))))
+ (|addBinding| '|$DomainsInScope| proplist
+ (|addBinding| '|$Information| NIL
+ (|makeInitialModemapFrame|))))
(READ-SPAD0 FN 'SPAD FM TO)))
(defun READ-INPUT (FN FM TO) (READ-SPAD0 FN 'INPUT FM TO))
@@ -182,8 +158,8 @@
(defun UNCONS (X)
(COND ((ATOM X) X)
- ((EQCAR X 'CONS) (CONS (SECOND X) (UNCONS (THIRD X))))
- (T (ERROR "UNCONS"))))
+ ((EQCAR X 'CONS) (CONS (SECOND X) (UNCONS (THIRD X))))
+ (T (ERROR "UNCONS"))))
(defun OPTIMIZE\&PRINT (X) (PRETTYPRINT (/MDEF X)))
@@ -191,17 +167,17 @@
(let (c msg)
(setq C (+ A B))
(setq MSG (STRCONC "(" (STRINGIMAGE A) " + " (STRINGIMAGE B)
- " = " (STRINGIMAGE C) " MS.)"))
+ " = " (STRINGIMAGE C) " MS.)"))
(PRINT (STRCONC (STRINGPAD "" (DIFFERENCE 80 (SIZE MSG))) MSG))))
(defun SPAD-MODETRAN (X) (D-TRAN X))
(defun SPAD-EVAL (X)
(COND ((ATOM X) (EVAL X))
- ((CONS (FIRST X) (MAPCAR #'SPAD-EVAL (CDR X))))))
+ ((CONS (FIRST X) (MAPCAR #'SPAD-EVAL (CDR X))))))
;************************************************************************
-; SYSTEM COMMANDS
+; SYSTEM COMMANDS
;************************************************************************
(defun CLEARDATABASE () (OBEY "ERASE MODEMAP DATABASE"))
@@ -212,9 +188,9 @@
(defun READLISP (UPPER_CASE_FG)
(let (v expr val )
(setq EXPR (READ-FROM-STRING
- (IF UPPER_CASE_FG (string-upcase (line-buffer CURRENT-LINE))
- (line-buffer CURRENT-LINE))
- t nil :start (Line-CURRENT-INDEX CURRENT-LINE)))
+ (IF UPPER_CASE_FG (string-upcase (line-buffer CURRENT-LINE))
+ (line-buffer CURRENT-LINE))
+ t nil :start (Line-CURRENT-INDEX CURRENT-LINE)))
(VMPRINT EXPR)
(setq VAL ((LAMBDA (|$InteractiveMode|) (EVAL EXPR)) NIL))
(FORMAT t "~&VALUE = ~S" VAL)
@@ -233,7 +209,7 @@
; (SETQ /EDITFILE (LIST /EDIT-FN /EDIT-FT /EDIT-FM))
(SETQ /EDITFILE L)
(COND
- (Q (/RQ))
+ (Q (/RQ))
('T (/RF)) )
(FLAG |boot-NewKEY| 'KEY)
(|terminateSystemCommand|)
@@ -248,8 +224,8 @@
(defun /COMPINTERP (L OPTS)
(SETQ /EDITFILE (/MKINFILENAM L))
(COND ((EQUAL OPTS "rf") (/RF))
- ((EQUAL OPTS "rq") (/RQ))
- ('T (/RQ-LIB)))
+ ((EQUAL OPTS "rq") (/RQ))
+ ('T (/RQ-LIB)))
(|terminateSystemCommand|)
(|spadPrompt|))
@@ -281,18 +257,18 @@
(defun GP2COND (L)
(COND ((NOT L) (ERROR "GP2COND"))
- ((NOT (CDR L))
- (COND ((EQCAR (FIRST L) 'COLON)
- (CONS (SECOND L) (LIST (LIST T 'FAIL))))
- (T (LIST (LIST T (FIRST L)))) ))
- ((EQCAR (FIRST L) 'COLON) (CONS (CDAR L) (GP2COND (CDR L))))
- (T (ERROR "GP2COND"))))
+ ((NOT (CDR L))
+ (COND ((EQCAR (FIRST L) 'COLON)
+ (CONS (SECOND L) (LIST (LIST T 'FAIL))))
+ (T (LIST (LIST T (FIRST L)))) ))
+ ((EQCAR (FIRST L) 'COLON) (CONS (CDAR L) (GP2COND (CDR L))))
+ (T (ERROR "GP2COND"))))
(FLAG JUNKTOKLIST 'KEY)
(defmacro |report| (L)
(SUBST (SECOND L) 'x
- '(COND ($reportFlag (sayBrightly x)) ((QUOTE T) NIL))))
+ '(COND ($reportFlag (sayBrightly x)) ((QUOTE T) NIL))))
(defmacro |DomainSubstitutionMacro| (&rest L)
(|DomainSubstitutionFunction| (first L) (second L)))
@@ -343,54 +319,54 @@
(defun S-PROCESS (X)
(let ((|$Index| 0)
- (*print-pretty* t)
- ($MACROASSOC ())
- ($NEWSPAD T)
- (|$compUniquelyIfTrue| nil)
- |$currentFunction|
- |$topOp|
- (|$semanticErrorStack| ())
- (|$warningStack| ())
- (|$returnMode| |$EmptyMode|)
- (|$leaveLevelStack| ())
- $TOP_LEVEL |$insideFunctorIfTrue| |$insideExpressionIfTrue|
- |$insideCoerceInteractiveHardIfTrue| |$insideWhereIfTrue|
- |$insideCategoryIfTrue| |$insideCapsuleFunctionIfTrue| |$form|
- (|$e| |$EmptyEnvironment|)
- (|$genSDVar| 0)
- (|$VariableCount| 0)
- (|$previousTime| (TEMPUS-FUGIT)))
+ (*print-pretty* t)
+ ($MACROASSOC ())
+ ($NEWSPAD T)
+ (|$compUniquelyIfTrue| nil)
+ |$currentFunction|
+ |$topOp|
+ (|$semanticErrorStack| ())
+ (|$warningStack| ())
+ (|$returnMode| |$EmptyMode|)
+ (|$leaveLevelStack| ())
+ $TOP_LEVEL |$insideFunctorIfTrue| |$insideExpressionIfTrue|
+ |$insideCoerceInteractiveHardIfTrue| |$insideWhereIfTrue|
+ |$insideCategoryIfTrue| |$insideCapsuleFunctionIfTrue| |$form|
+ (|$e| |$EmptyEnvironment|)
+ (|$genSDVar| 0)
+ (|$VariableCount| 0)
+ (|$previousTime| (TEMPUS-FUGIT)))
(prog ((CURSTRM CUROUTSTREAM) |$s| |$x| |$m| u)
- (declare (special CURSTRM |$s| |$x| |$m| CUROUTSTREAM))
- (SETQ |$exitModeStack| ())
- (SETQ |$postStack| nil)
- (SETQ |$TraceFlag| T)
- (if (NOT X) (RETURN NIL))
- (setq X (if $BOOT (DEF-RENAME (|new2OldLisp| X))
- (|parseTransform| (|postTransform| X))))
- ;; (if |$TranslateOnly| (RETURN (SETQ |$Translation| X)))
- (when |$postStack| (|displayPreCompilationErrors|) (RETURN NIL))
- (COND (|$PrintOnly|
- (format t "~S =====>~%" |$currentLine|)
- (RETURN (PRETTYPRINT X))))
- (if (NOT $BOOT)
- (if |$InteractiveMode|
- (|processInteractive| X NIL)
- (if (setq U (|compTopLevel| X |$EmptyMode|
- |$InteractiveFrame|))
- (SETQ |$InteractiveFrame| (third U))))
- (DEF-PROCESS X))
- (if |$semanticErrorStack| (|displaySemanticErrors|))
- (TERPRI))))
+ (declare (special CURSTRM |$s| |$x| |$m| CUROUTSTREAM))
+ (SETQ |$exitModeStack| ())
+ (SETQ |$postStack| nil)
+ (SETQ |$TraceFlag| T)
+ (if (NOT X) (RETURN NIL))
+ (setq X (if $BOOT (DEF-RENAME (|new2OldLisp| X))
+ (|parseTransform| (|postTransform| X))))
+ ;; (if |$TranslateOnly| (RETURN (SETQ |$Translation| X)))
+ (when |$postStack| (|displayPreCompilationErrors|) (RETURN NIL))
+ (COND (|$PrintOnly|
+ (format t "~S =====>~%" |$currentLine|)
+ (RETURN (PRETTYPRINT X))))
+ (if (NOT $BOOT)
+ (if |$InteractiveMode|
+ (|processInteractive| X NIL)
+ (if (setq U (|compTopLevel| X |$EmptyMode|
+ |$InteractiveFrame|))
+ (SETQ |$InteractiveFrame| (third U))))
+ (DEF-PROCESS X))
+ (if |$semanticErrorStack| (|displaySemanticErrors|))
+ (TERPRI))))
(MAKEPROP 'END_UNIT 'KEY T)
(defun |process| (x)
(COND ((NOT (EQ TOK 'END_UNIT))
- (SETQ DEBUGMODE 'NO)
- (SPAD_SYNTAX_ERROR)
- (if |$InteractiveMode| (|spadThrow|))
- (S-PROCESS x))))
+ (SETQ DEBUGMODE 'NO)
+ (SPAD_SYNTAX_ERROR)
+ (if |$InteractiveMode| (|spadThrow|))
+ (S-PROCESS x))))
(defun |evalSharpOne| (x \#1) (declare (special \#1)) (EVAL x))
@@ -398,12 +374,12 @@
(defun |New,ENTRY,1| ()
(let (ZZ str N RLGENSYMFG RLGENSYMLST |NewFLAG| XCAPE *PROMPT*
- SINGLELINEMODE OK ISID NBLNK COUNT CHR ULCASEFG ($LINESTACK 'BEGIN_UNIT)
- $TOKSTACK COMMENTCHR TOK LINE BACK INPUTSTREAM XTRANS
- XTOKENREADER STACK STACKX TRAPFLAG)
+ SINGLELINEMODE OK ISID NBLNK COUNT CHR ULCASEFG ($LINESTACK 'BEGIN_UNIT)
+ $TOKSTACK COMMENTCHR TOK LINE BACK INPUTSTREAM XTRANS
+ XTOKENREADER STACK STACKX TRAPFLAG)
(SETQ XTRANS '|boot-New|
- XTOKENREADER 'NewSYSTOK
- SYNTAX_ERROR 'SPAD_SYNTAX_ERROR)
+ XTOKENREADER 'NewSYSTOK
+ SYNTAX_ERROR 'SPAD_SYNTAX_ERROR)
(FLAG |boot-NewKEY| 'KEY)
(SETQ *PROMPT* 'Scratchpad-II)
(PROMPT)
@@ -415,8 +391,8 @@
(SETQ ULCASEFG T)
(setq STR (|New,ENTRY,2| '|PARSE-NewEXPR| '|process| curinstream))
(if (/= 0 (setq N (NOTE STR)))
- (progn (SETQ CURINSTREAM (POINTW N CURINSTREAM)))
- )
+ (progn (SETQ CURINSTREAM (POINTW N CURINSTREAM)))
+ )
'|END_OF_New|))
(defun |New,ENTRY,2| (RULE FN INPUTSTREAM) (declare (special INPUTSTREAM))
@@ -433,35 +409,35 @@
(defmacro try (X)
`(LET ((|$autoLine|))
- (declare (special |$autoLine|))
- (|tryToFit| (|saveState|) ,X)))
+ (declare (special |$autoLine|))
+ (|tryToFit| (|saveState|) ,X)))
(mapcar #'(lambda (X) (MAKEPROP (CAR X) 'format (CADR X)))
- '((COMMENT |formatCOMMENT|)
- (SEQ |formatSEQ|)
- (DEF |formatDEF|)
- (LET |formatLET|)
- (\: |formatColon|)
- (ELT |formatELT|)
- (SEGMENT |formatSEGMENT|)
- (COND |formatCOND|)
- (SCOND |formatSCOND|)
- (QUOTE |formatQUOTE|)
- (CONS |formatCONS|)
- (|where| |formatWHERE|)
- (APPEND |formatAPPEND|)
- (REPEAT |formatREPEAT|)
- (COLLECT |formatCOLLECT|)
- (REDUCE |formatREDUCE|)))
+ '((COMMENT |formatCOMMENT|)
+ (SEQ |formatSEQ|)
+ (DEF |formatDEF|)
+ (LET |formatLET|)
+ (\: |formatColon|)
+ (ELT |formatELT|)
+ (SEGMENT |formatSEGMENT|)
+ (COND |formatCOND|)
+ (SCOND |formatSCOND|)
+ (QUOTE |formatQUOTE|)
+ (CONS |formatCONS|)
+ (|where| |formatWHERE|)
+ (APPEND |formatAPPEND|)
+ (REPEAT |formatREPEAT|)
+ (COLLECT |formatCOLLECT|)
+ (REDUCE |formatREDUCE|)))
(defmacro |incTimeSum| (a b)
(if (not |$InteractiveTimingStatsIfTrue|) a
(let ((key b) (oldkey (gensym)) (val (gensym)))
- `(prog (,oldkey ,val)
- (setq ,oldkey (|incrementTimeSum| ,key))
- (setq ,val ,a)
- (|incrementTimeSum| ,oldkey)
- (return ,val)))))
+ `(prog (,oldkey ,val)
+ (setq ,oldkey (|incrementTimeSum| ,key))
+ (setq ,val ,a)
+ (|incrementTimeSum| ,oldkey)
+ (return ,val)))))
(defun GLESSEQP (X Y) (NOT (GGREATERP X Y)))
@@ -476,34 +452,34 @@
(cond
((EQCAR (SETQ A (CAR L)) 'ELT)
(COND ((AND (INTEGERP (SETQ B (CADDR A))) (>= B 0))
- (SETQ S "CA")
- (do ((i 1 (1+ i))) ((> i b)) (SETQ S (STRCONC S "D")))
- (LIST 'RPLAC (LIST (INTERN (STRCONC S "R")) (CADR A)) (CADR L)))
- ((ERROR "rplac"))))
+ (SETQ S "CA")
+ (do ((i 1 (1+ i))) ((> i b)) (SETQ S (STRCONC S "D")))
+ (LIST 'RPLAC (LIST (INTERN (STRCONC S "R")) (CADR A)) (CADR L)))
+ ((ERROR "rplac"))))
((PROGN
- (SETQ A (CARCDREXPAND (CAR L) NIL))
- (SETQ B (CADR L))
- (COND
- ((CDDR L) (ERROR 'RPLAC))
- ((EQCAR A 'CAR) (LIST 'RPLACA (CADR A) B))
- ((EQCAR A 'CDR) (LIST 'RPLACD (CADR A) B))
- ((ERROR 'RPLAC))))))))
+ (SETQ A (CARCDREXPAND (CAR L) NIL))
+ (SETQ B (CADR L))
+ (COND
+ ((CDDR L) (ERROR 'RPLAC))
+ ((EQCAR A 'CAR) (LIST 'RPLACA (CADR A) B))
+ ((EQCAR A 'CDR) (LIST 'RPLACD (CADR A) B))
+ ((ERROR 'RPLAC))))))))
(DEFUN ASSOCIATER (FN LST)
(COND ((NULL LST) NIL)
- ((NULL (CDR LST)) (CAR LST))
- ((LIST FN (CAR LST) (ASSOCIATER FN (CDR LST))))))
+ ((NULL (CDR LST)) (CAR LST))
+ ((LIST FN (CAR LST) (ASSOCIATER FN (CDR LST))))))
(defun ISLOCALOP-1 (IND)
"Curindex points at character after '.'"
(prog (selector buf termtok (NEWCHR (NEXTCHARACTER)))
(if (TERMINATOR NEWCHR) (RETURN NIL))
(setq SELECTOR
- (do ((x nil))
- (nil)
- (if (terminator newchr)
- (reverse x)
- (push (setq newchr (nextcharacter)) x))))
+ (do ((x nil))
+ (nil)
+ (if (terminator newchr)
+ (reverse x)
+ (push (setq newchr (nextcharacter)) x))))
(if (EQUAL NEWCHR '\.) (RETURN (ISLOCALOP-1 IND)))
(setq BUF (GETSTR (LENGTH SELECTOR)))
(mapc #'(lambda (x) (suffix x buf)) selector)
@@ -511,7 +487,7 @@
(setq TERMTOK (INTERN BUF))
(if (NOT (GET TERMTOK 'GENERIC)) (RETURN NIL))
(if (OR (GET TERMTOK '|Led|) (GET TERMTOK '|Nud|))
- (GET TERMTOK IND))
+ (GET TERMTOK IND))
(return TERMTOK)))
; **** X. Random tables
@@ -560,7 +536,7 @@
(DEFUN DECIMAL-LENGTH (X)
(LET* ((K (FIX (* #.(LOG 2.0 10.) (INTEGER-LENGTH X))))
- (X (TRUNCATE (ABS X) (EXPT 10 (1- K)))))
+ (X (TRUNCATE (ABS X) (EXPT 10 (1- K)))))
(IF (LESSP X 10) K (1+ K))))
;(DEFUN DECIMAL-LENGTH2 (X)
@@ -599,9 +575,9 @@
(defun |hashable| (dom)
(memq (|knownEqualPred| dom)
- #-Lucid '(EQ EQL EQUAL)
- #+Lucid '(EQ EQL EQUAL EQUALP)
- ))
+ #-Lucid '(EQ EQL EQUAL)
+ #+Lucid '(EQ EQL EQUAL EQUALP)
+ ))
;; simpler interpface to RDEFIOSTREAM
(defun RDEFINSTREAM (&rest fn)
@@ -618,9 +594,3 @@
`(spadcall (svref ,dollar (the fixnum ,n))))
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/spaderror.lisp.pamphlet b/src/interp/spaderror.lisp
index 618a94e4..da5bd161 100644
--- a/src/interp/spaderror.lisp.pamphlet
+++ b/src/interp/spaderror.lisp
@@ -1,22 +1,3 @@
-%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/spaderroor.lisp} Pamphlet}
-\author{Timothy Daly}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
;; All rights reserved.
;;
@@ -48,9 +29,6 @@
;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
;; this files contains basic routines for error handling
(in-package "BOOT")
@@ -80,8 +58,8 @@
(defmacro |trapNumericErrors| (form)
`(let ((|$oldBreakMode| |$BreakMode|)
- (|$BreakMode| '|trapNumerics|)
- (val))
+ (|$BreakMode| '|trapNumerics|)
+ (val))
(setq val (catch '|trapNumerics| ,form))
(if (eq val |$numericFailure|) val
(cons 0 val))))
@@ -98,31 +76,31 @@
(load eval)
(unembed 'system:universal-error-handler)
(embed 'system:universal-error-handler
- '(lambda (type correctable? op
- continue-string error-string &rest args)
- (block
- nil
- (setq |$NeedToSignalSessionManager| T)
- (if (and (boundp '|$inLispVM|) (boundp '|$BreakMode|))
- (cond ((eq |$BreakMode| '|validate|)
- (|systemError| (error-format error-string args)))
- ((and (eq |$BreakMode| '|trapNumerics|)
- (eq type :ERROR))
- (setq |$BreakMode| nil) (throw '|trapNumerics| |$numericFailure|))
+ '(lambda (type correctable? op
+ continue-string error-string &rest args)
+ (block
+ nil
+ (setq |$NeedToSignalSessionManager| T)
+ (if (and (boundp '|$inLispVM|) (boundp '|$BreakMode|))
+ (cond ((eq |$BreakMode| '|validate|)
+ (|systemError| (error-format error-string args)))
+ ((and (eq |$BreakMode| '|trapNumerics|)
+ (eq type :ERROR))
+ (setq |$BreakMode| nil) (throw '|trapNumerics| |$numericFailure|))
((and (eq |$BreakMode| '|trapNumerics|)
- (boundp '|$oldBreakMode|)
- (setq |$BreakMode| |$oldBreakMode|)
- nil)) ;; resets error handler
- ((and (null |$inLispVM|)
- (memq |$BreakMode| '(|nobreak| |query| |resume|)))
- (let ((|$inLispVM| T)) ;; turn off handler
- (return
- (|systemError| (error-format error-string args)))))
- ((eq |$BreakMode| '|letPrint2|)
- (setq |$BreakMode| nil)
- (throw '|letPrint2| nil))))
- (apply system:universal-error-handler type correctable? op
- continue-string error-string args )))))
+ (boundp '|$oldBreakMode|)
+ (setq |$BreakMode| |$oldBreakMode|)
+ nil)) ;; resets error handler
+ ((and (null |$inLispVM|)
+ (memq |$BreakMode| '(|nobreak| |query| |resume|)))
+ (let ((|$inLispVM| T)) ;; turn off handler
+ (return
+ (|systemError| (error-format error-string args)))))
+ ((eq |$BreakMode| '|letPrint2|)
+ (setq |$BreakMode| nil)
+ (throw '|letPrint2| nil))))
+ (apply system:universal-error-handler type correctable? op
+ continue-string error-string args )))))
@@ -133,9 +111,3 @@
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/topics.boot b/src/interp/topics.boot
index 32a7d7bf..18e06e35 100644
--- a/src/interp/topics.boot
+++ b/src/interp/topics.boot
@@ -29,10 +29,9 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-)package "BOOT"
$topicsDefaults := '(
- (basic elt setelt qelt qsetelt eval xRange yRange zRange map map_! qsetelt_!)
+ (basic elt setelt qelt qsetelt eval xRange yRange zRange map map! qsetelt!)
(conversion coerce convert retract)
(hidden retractIfCan Zero One)
(predicate _< _=)
@@ -41,7 +40,7 @@ $topicsDefaults := '(
(hyperbolic acosh acoth acsch asech asinh atanh cosh coth csch sech sinh tanh)
(destructive setelt qsetelt)
(extraction xRange yRange zRange elt qelt)
- (transformation map map_!))
+ (transformation map map!))
$topicSynonyms := '(
(b . basic)
@@ -139,7 +138,7 @@ skipBlanks(u,i,m) ==
-- Compute Topic Code for Operation
--=======================================================================
topicCode lst ==
- u := [y for x in lst] where y() ==
+ u := [y for x in lst] where y ==
rename := LASSOC(x,$topicSynonyms) => rename
x
if null intersection('(basic extended hidden),u) then u := ['extended,:u]
@@ -157,7 +156,7 @@ topicCode lst ==
--called to modify DOCUMENTATION property for each "con"
addTopic2Documentation(con,docAlist) ==
alist := HGET($conTopicHash,con) or return docAlist
- [y for x in docAlist] where y() ==
+ [y for x in docAlist] where y ==
[op,:pairlist] := x
code := LASSOC(op,alist) or 0
for sigDoc in pairlist repeat
diff --git a/src/interp/topics.boot.pamphlet b/src/interp/topics.boot.pamphlet
deleted file mode 100644
index a269b18c..00000000
--- a/src/interp/topics.boot.pamphlet
+++ /dev/null
@@ -1,263 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/topics.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
--- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--- All rights reserved.
---
--- Redistribution and use in source and binary forms, with or without
--- modification, are permitted provided that the following conditions are
--- met:
---
--- - Redistributions of source code must retain the above copyright
--- notice, this list of conditions and the following disclaimer.
---
--- - Redistributions in binary form must reproduce the above copyright
--- notice, this list of conditions and the following disclaimer in
--- the documentation and/or other materials provided with the
--- distribution.
---
--- - Neither the name of The Numerical ALgorithms Group Ltd. nor the
--- names of its contributors may be used to endorse or promote products
--- derived from this software without specific prior written permission.
---
--- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
--- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
--- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
--- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
--- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
--- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
--- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
--- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
--- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
--- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
--- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-@
-<<*>>=
-<<license>>
-
-$topicsDefaults := '(
- (basic elt setelt qelt qsetelt eval xRange yRange zRange map map! qsetelt!)
- (conversion coerce convert retract)
- (hidden retractIfCan Zero One)
- (predicate _< _=)
- (algebraic _+ _- _* _*_* _/ quo rem exquo)
- (trignometric acos acot acsc asec asin atan cos cot csc sec sin tan)
- (hyperbolic acosh acoth acsch asech asinh atanh cosh coth csch sech sinh tanh)
- (destructive setelt qsetelt)
- (extraction xRange yRange zRange elt qelt)
- (transformation map map!))
-
-$topicSynonyms := '(
- (b . basic)
- (h . hidden)
- (e . extended)
- (a . algebraic)
- (g . algebraic)
- (c . construct)
- (d . destructive)
- (v . conversion)
- (m . miscellaneous)
- (x . extraction)
- (p . predicate)
- (tg . trignometric)
- (hy . hyperbolic)
- (t . transformation))
-
-$groupAssoc := '((extended . 1) (basic . 2) (hidden . 4))
-
---=======================================================================
--- Create Hashtable of Operation Properties
---=======================================================================
---called at build-time before making DOCUMENTATION property
-mkTopicHashTable() == --given $groupAssoc = ((extended . 1)(basic . 2)(xx . 4)..)
- $defaultsHash := MAKE_-HASHTABLE 'ID --keys are ops, value is list of topic names
- for [kind,:items] in $topicsDefaults repeat --$topicsDefaults is ((<topic> op ...) ..)
- for item in items repeat
- HPUT($defaultsHash,item,[kind,:HGET($defaultsHash,item)])
- $conTopicHash := MAKE_-HASHTABLE 'EQL --key is constructor name; value is
- instream := OPEN '"topics.data"
- while not EOFP instream repeat
- line := READLINE instream
- while blankLine? line repeat line := READLINE instream
- m := MAXINDEX line --file "topics.data" has form:
- m = -1 => 'skip --1 ConstructorName:
- line.0 = char '_- => 'skip --2 constructorName or operation name
- line := trimString line --3-n ...
- m := MAXINDEX line -- (blank line) ...
- line.m ^= (char '_:) => systemError('"wrong heading")
- con := INTERN SUBSTRING(line,0,m)
- alist := [lst while not EOFP instream and
- not (blankLine? (line := READLINE instream)) and
- line.0 ^= char '_- for i in 1..
- | lst := string2OpAlist line]
- alist => HPUT($conTopicHash,con,alist)
- --initialize table of topic classes
- $topicHash := MAKE_-HASHTABLE 'ID --$topicHash has keys: topic and value: index
- for [x,:c] in $groupAssoc repeat HPUT($topicHash,x,c)
- $topicIndex := CDR LAST $groupAssoc
-
- --replace each property list by a topic code
- --store under each construct an OR of all codes
- for con in HKEYS $conTopicHash repeat
- conCode := 0
- for pair in HGET($conTopicHash,con) repeat
- RPLACD(pair,code := topicCode CDR pair)
- conCode := LOGIOR(conCode,code)
- HPUT($conTopicHash,con,
- [['constructor,:conCode],:HGET($conTopicHash,con)])
- SHUT instream
-
---reduce integers stored under names to 1 + its power of 2
- for key in HKEYS $topicHash repeat
- HPUT($topicHash,key,INTEGER_-LENGTH HGET($topicHash,key))
-
- $conTopicHash --keys are ops or 'constructor', values are codes
-
-blankLine? line ==
- MAXINDEX line = -1 or and/[line . j = (char '_ ) for j in 0..MAXINDEX line]
-
-string2OpAlist s ==
- m := #s
- k := skipBlanks(s,0,m) or return nil
- UPPER_-CASE_-P s.k => nil --skip constructor names
- k := 0
- while (k := skipBlanks(s,k,m)) repeat
- acc := [INTERN SUBSTRING(s,k,-k + (k := charPosition(char '_ ,s,k + 1))),:acc]
- acc := NREVERSE acc
- --now add defaults
- if u := getDefaultProps first acc then acc := [first acc,:u,:rest acc]
- acc
-
-getDefaultProps name ==
- u := HGET($defaultsHash,name)
- if (s := PNAME name).(m := MAXINDEX s) = char '? then u := ['p,:u]
- if s.m = char '_! then u := ['destructive,:u]
- u
-
-skipBlanks(u,i,m) ==
- while i < m and u.i = $charBlank repeat i := i + 1
- i >= m => nil
- i
-
---=======================================================================
--- Compute Topic Code for Operation
---=======================================================================
-topicCode lst ==
- u := [y for x in lst] where y ==
- rename := LASSOC(x,$topicSynonyms) => rename
- x
- if null intersection('(basic extended hidden),u) then u := ['extended,:u]
- bitIndexList := nil
- for x in REMDUP u repeat
- bitIndexList := [fn x,:bitIndexList] where fn x ==
- k := HGET($topicHash,x) => k
- HPUT($topicHash,x,$topicIndex := $topicIndex * 2)
- $topicIndex
- code := +/[i for i in bitIndexList]
-
---=======================================================================
--- Add Codes to Documentation Property
---=======================================================================
---called to modify DOCUMENTATION property for each "con"
-addTopic2Documentation(con,docAlist) ==
- alist := HGET($conTopicHash,con) or return docAlist
- [y for x in docAlist] where y ==
- [op,:pairlist] := x
- code := LASSOC(op,alist) or 0
- for sigDoc in pairlist repeat
- sigDoc is [.,.] => RPLACD(rest sigDoc,code)
- systemError sigDoc
- docAlist
-
---=======================================================================
--- Test: Display Topics for a given constructor
---=======================================================================
-td con ==
- $topicClasses := ASSOCRIGHT mySort
- [[HGET($topicHash,key),:key] for key in HKEYS $topicHash]
- hash := MAKE_-HASHTABLE 'ID
- tdAdd(con,hash)
- tdPrint hash
-
-tdAdd(con,hash) ==
- v := HGET($conTopicHash,con)
- u := addTopic2Documentation(con,v)
---u := GETDATABASE(con,'DOCUMENTATION)
- for pair in u | FIXP (code := myLastAtom pair) and (op := CAR pair) ^= 'construct repeat
- for x in (names := code2Classes code) repeat HPUT(hash,x,insert(op,HGET(hash,x)))
-
-tdPrint hash ==
- for key in mySort HKEYS hash repeat
- sayBrightly [key,'":"]
- sayBrightlyNT '" "
- for x in HGET(hash,key) repeat sayBrightlyNT ['" ",x]
- TERPRI()
-
-topics con ==
- --assumes that DOCUMENTATION property already has #s added
- $topicClasses := ASSOCRIGHT mySort
- [[HGET($topicHash,key),:key] for key in HKEYS $topicHash]
- hash := MAKE_-HASHTABLE 'ID
- tdAdd(con,hash)
- for x in REMDUP [CAAR y for y in ancestorsOf(getConstructorForm con,nil)] repeat
- tdAdd(x,hash)
- for x in HKEYS hash repeat HPUT(hash,x,mySort HGET(hash,x))
- tdPrint hash
-
-code2Classes cc ==
- cc := 2*cc
- [x while cc ^= 0 for x in $topicClasses | ODDP (cc := QUOTIENT(cc,2))]
-
-myLastAtom x ==
- while x is [.,:x] repeat nil
- x
-
---=======================================================================
--- Transfer Codes to opAlist
---=======================================================================
-
-transferClassCodes(conform,opAlist) ==
- transferCodeCon(opOf conform,opAlist)
- for x in ancestorsOf(conform,nil) repeat
- transferCodeCon(CAAR x,opAlist)
-
-transferCodeCon(con,opAlist) ==
- for pair in GETDATABASE(con,'DOCUMENTATION)
- | FIXP (code := myLastAtom pair) repeat
- u := ASSOC(QCAR pair,opAlist) => RPLACD(LASTNODE u,code)
-
---=======================================================================
--- Filter Operation by Topic
---=======================================================================
-
-filterByTopic(opAlist,topic) ==
- bitNumber := HGET($topicHash,topic)
- [x for x in opAlist
- | FIXP (code := myLastAtom x) and LOGBITP(bitNumber,code)]
-
-listOfTopics(conname) ==
- doc := GETDATABASE(conname,'DOCUMENTATION)
- u := ASSOC('constructor,doc) or return nil
- code := myLastAtom u
---null FIXP code => nil
- mySort [key for key in HKEYS($topicHash) | LOGBITP(HGET($topicHash,key),code)]
-
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/wi1.boot.pamphlet b/src/interp/wi1.boot
index a86a7da2..e6eb3ef2 100644
--- a/src/interp/wi1.boot.pamphlet
+++ b/src/interp/wi1.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/wi1.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -95,7 +75,7 @@ put(x,prop,val,e) ==
SAY ["**** modemap PUT on CapsuleModemapFrame: ",val]
$CapsuleModemapFrame:=
addBinding(x,augProplistOf(x,"modemap",val,$CapsuleModemapFrame),
- $CapsuleModemapFrame)
+ $CapsuleModemapFrame)
e
addBinding(x,newProplist,e)
@@ -104,11 +84,11 @@ addBinding(var,proplist,e is [[curContour,:tailContour],:tailEnv]) ==
EQ(proplist,getProplist(var,e)) => e
$InteractiveMode => addBindingInteractive(var,proplist,e)
if curContour is [[ =var,:.],:.] then curContour:= rest curContour
- --Previous line should save some space
+ --Previous line should save some space
[[[lx,:curContour],:tailContour],:tailEnv] where lx:= [var,:proplist]
--======================================================================
--- From define.boot
+-- From define.boot
--======================================================================
compJoin(["Join",:argl],m,e) ==
catList:= [(compForMode(x,$Category,e) or return 'failed).expr for x in argl]
@@ -158,12 +138,12 @@ compDefineLisplib(df,m,e,prefix,fal,fn) ==
$lisplibKind: local := NIL
$lisplibModemap: local := NIL
$lisplibModemapAlist: local := NIL
- $lisplibSlot1 : local := NIL -- used by NRT mechanisms
+ $lisplibSlot1 : local := NIL -- used by NRT mechanisms
$lisplibOperationAlist: local := NIL
$lisplibSuperDomain: local := NIL
$libFile: local := NIL
$lisplibVariableAlist: local := NIL
- $lisplibRelatedDomains: local := NIL --from ++ Related Domains: see c-doc
+ $lisplibRelatedDomains: local := NIL --from ++ Related Domains: see c-doc
$lisplibCategory: local := nil
--for categories, is rhs of definition; otherwise, is target of functor
--will eventually become the "constructorCategory" property in lisplib
@@ -204,7 +184,7 @@ compTopLevel(x,m,e) ==
'sorry
x is ["DEF",:.] or x is ["where",["DEF",:.],:.] =>
([val,mode,.]:= FUNCALL(compFun,x,m,e); [val,mode,e])
- --keep old environment after top level function defs
+ --keep old environment after top level function defs
FUNCALL(compFun,x,m,e)
markWhereTran ["where",["DEF",form,sig,clist,body],:tail] ==
@@ -219,24 +199,24 @@ markWhereTran ["where",["DEF",form,sig,clist,body],:tail] ==
for x in items repeat
x is [":",a,b] =>
a is ['LISTOF,:r] =>
- for y in r repeat decls := [[":",y,b],:decls]
+ for y in r repeat decls := [[":",y,b],:decls]
decls := [x,:decls]
x is [key,fn,p,q,bd] and MEMQ(key,'(DEF MDEF)) and p='(NIL) and q='(NIL) =>
fn = target or fn is [=target] => ttype := bd
- fn = body or fn is [=body] => body := bd
+ fn = body or fn is [=body] => body := bd
macros := [x,:macros]
systemError ['"unexpected WHERE item: ",x]
nargtypes := [p for arg in argl |
- p := or/[t for d in decls | d is [.,=arg,t]] or
- systemError ['"Missing WHERE declaration for :", arg]]
+ p := or/[t for d in decls | d is [.,=arg,t]] or
+ systemError ['"Missing WHERE declaration for :", arg]]
nform := form
ntarget := ttype or target
ndef := ['DEF,nform,[ntarget,:nargtypes],clist,body]
result :=
REVERSE macros is [:m,e] =>
mpart :=
- m => ['SEQ,:m,['exit,1,e]]
- e
+ m => ['SEQ,:m,['exit,1,e]]
+ e
['where,ndef,mpart]
ndef
result
@@ -309,9 +289,9 @@ compNoStacking01(x,m,e) ==
T:= comp2(x,m,e) =>
(m=$EmptyMode and T.mode=IFCAR(get('Rep,'value,e)) =>
[T.expr,"Rep",T.env]; qt(12,T))
- --$Representation is bound in compDefineFunctor, set by doIt
- --this hack says that when something is undeclared, $ is
- --preferred to the underlying representation -- RDJ 9/12/83
+ --$Representation is bound in compDefineFunctor, set by doIt
+ --this hack says that when something is undeclared, $ is
+ --preferred to the underlying representation -- RDJ 9/12/83
T := compNoStacking1(x,m,e,$compStack)
qt(13,T)
@@ -337,7 +317,7 @@ compWithMappingMode(x,m,oldE) ==
isFunctor x =>
if get(x,"modemap",$CategoryFrame) is [[[.,target,:argModeList],.],:.] and
(and/[extendsCategoryForm("$",s,mode) for mode in argModeList for s in sl]
- ) and extendsCategoryForm("$",target,m') then return [x,m,e]
+ ) and extendsCategoryForm("$",target,m') then return [x,m,e]
if STRINGP x then x:= INTERN x
for m in sl for v in (vl:= take(#sl,$FormalMapVariableList)) repeat
[.,.,e]:= compMakeDeclaration([":",v,m],$EmptyMode,e)
@@ -394,8 +374,8 @@ compSymbol(s,m,e) ==
v:= get(s,"value",e) =>
--+
MEMQ(s,$functorLocalParameters) =>
- NRTgetLocalIndex s
- [s,v.mode,e] --s will be replaced by an ELT form in beforeCompile
+ NRTgetLocalIndex s
+ [s,v.mode,e] --s will be replaced by an ELT form in beforeCompile
[s,v.mode,e] --s has been SETQd
m':= getmode(s,e) =>
if not member(s,$formalArgList) and not MEMQ(s,$FormalMapVariableList) and
@@ -438,8 +418,8 @@ compForm1(form,m,e) ==
-------> new <-------------
domain= 'Rep and
(ans := compForm2([op',:argl],SUBST('Rep,'_$,m),e:= addDomain(domain,e),
- [SUBST('Rep,'_$,x) for x in getFormModemaps([op',:argl],e)
- | x is [[ =domain,:.],:.]])) => ans
+ [SUBST('Rep,'_$,x) for x in getFormModemaps([op',:argl],e)
+ | x is [[ =domain,:.],:.]])) => ans
-------> new <-------------
ans := compForm2([op',:argl],m,e:= addDomain(domain,e),
[x for x in getFormModemaps([op',:argl],e) | x is [[ =domain,:.],:.]]) => ans
@@ -460,7 +440,7 @@ compForm3(form is [op,:argl],m,e,modemapList) ==
T:=
or/
[compFormWithModemap(form,m,e,first (mml:= ml))
- for ml in tails modemapList] or return nil
+ for ml in tails modemapList] or return nil
qt(14,T)
result :=
$compUniquelyIfTrue =>
@@ -498,11 +478,11 @@ compWhere([.,form,:exprList],m,eInit) ==
-- if not $insideFunctorIfTrue then
-- $originalTarget :=
-- form is ['DEF,a,osig,:.] and osig is [otarget,:.] =>
--- exprList is [['SEQ,:l,['exit,n,y]]] and (u := [:l,y]) and
--- (ntarget := or/[def for x in u | x is [op,a',:.,def] and ([op,a',otarget]) and
--- MEMQ(op,'(DEF MDEF)) and (a' = otarget or a' is [=otarget])]) =>
--- [ntarget,:rest osig]
--- osig
+-- exprList is [['SEQ,:l,['exit,n,y]]] and (u := [:l,y]) and
+-- (ntarget := or/[def for x in u | x is [op,a',:.,def] and ([op,a',otarget]) and
+-- MEMQ(op,'(DEF MDEF)) and (a' = otarget or a' is [=otarget])]) =>
+-- [ntarget,:rest osig]
+-- osig
-- nil
-- foobum exprList
e:= eInit
@@ -524,9 +504,9 @@ compMacro(form,m,e) ==
markMacro(first lhs,rhs)
rhs :=
rhs is ['CATEGORY,:.] => ['"-- the constructor category"]
- rhs is ['Join,:.] => ['"-- the constructor category"]
+ rhs is ['Join,:.] => ['"-- the constructor category"]
rhs is ['CAPSULE,:.] => ['"-- the constructor capsule"]
- rhs is ['add,:.] => ['"-- the constructor capsule"]
+ rhs is ['add,:.] => ['"-- the constructor capsule"]
formatUnabbreviated rhs
sayBrightly ['" processing macro definition",'%b,
:formatUnabbreviated lhs,'" ==> ",:rhs,'%d]
@@ -539,9 +519,9 @@ compMacro(form,m,e) ==
-- ["MDEF",lhs,signature,specialCases,rhs]:= form
-- rhs :=
-- rhs is ['CATEGORY,:.] => ['"-- the constructor category"]
--- rhs is ['Join,:.] => ['"-- the constructor category"]
+-- rhs is ['Join,:.] => ['"-- the constructor category"]
-- rhs is ['CAPSULE,:.] => ['"-- the constructor capsule"]
--- rhs is ['add,:.] => ['"-- the constructor capsule"]
+-- rhs is ['add,:.] => ['"-- the constructor capsule"]
-- formatUnabbreviated rhs
-- sayBrightly ['" processing macro definition",'%b,
-- :formatUnabbreviated lhs,'" ==> ",:rhs,'%d]
@@ -583,11 +563,11 @@ setqSingle(id,val,m,E) ==
T:=
(trialT and coerce(trialT,m'')) or eval or return nil where
eval() ==
- T:= comp(val,m'',E) => T
- not get(id,"mode",E) and m'' ^= (maxm'':=maxSuperType(m'',E)) and
- (T:=comp(val,maxm'',E)) => T
- (T:= comp(val,$EmptyMode,E)) and getmode(T.mode,E) =>
- assignError(val,T.mode,id,m'')
+ T:= comp(val,m'',E) => T
+ not get(id,"mode",E) and m'' ^= (maxm'':=maxSuperType(m'',E)) and
+ (T:=comp(val,maxm'',E)) => T
+ (T:= comp(val,$EmptyMode,E)) and getmode(T.mode,E) =>
+ assignError(val,T.mode,id,m'')
T':= [x,m',e']:= convert(T,m) or return nil
if $profileCompiler = true then
null IDENTP id => nil
@@ -601,7 +581,7 @@ setqSingle(id,val,m,E) ==
if isDomainForm(x1,e') then
if isDomainInScope(id,e') then
stackWarning ["domain valued variable","%b",id,"%d",
- "has been reassigned within its scope"]
+ "has been reassigned within its scope"]
e':= augModemapsFromDomain1(id,x1,e')
--all we do now is to allocate a slot number for lhs
--e.g. the LET form below will be changed by putInLocalDomainReferences
@@ -611,9 +591,9 @@ setqSingle(id,val,m,E) ==
$markFreeStack := [id,:$markFreeStack]
form:=['SETELT,"$",k,x]
else form:=
- $QuickLet => ["LET",id,x]
- ["LET",id,x,
- (isDomainForm(x,e') => ['ELT,id,0];CAR outputComp(id,e'))]
+ $QuickLet => ["LET",id,x]
+ ["LET",id,x,
+ (isDomainForm(x,e') => ['ELT,id,0];CAR outputComp(id,e'))]
[form,m',e']
setqMultiple(nameList,val,m,e) ==
@@ -632,13 +612,13 @@ setqMultiple(nameList,val,m,e) ==
convert([["PROGN",x,["LET",nameList,g],g],m',e],m)
--2. verify that the #nameList = number of parts of right-hand-side
selectorModePairs:=
- --list of modes
+ --list of modes
decompose(m1,#nameList,e) or return nil where
decompose(t,length,e) ==
- t is ["Record",:l] => [[name,:mode] for [":",name,mode] in l]
- comp(t,$EmptyMode,e) is [.,["RecordCategory",:l],.] =>
- [[name,:mode] for [":",name,mode] in l]
- stackMessage ["no multiple assigns to mode: ",t]
+ t is ["Record",:l] => [[name,:mode] for [":",name,mode] in l]
+ comp(t,$EmptyMode,e) is [.,["RecordCategory",:l],.] =>
+ [[name,:mode] for [":",name,mode] in l]
+ stackMessage ["no multiple assigns to mode: ",t]
#nameList^=#selectorModePairs =>
stackMessage [val," must decompose into ",#nameList," components"]
-- 3.generate code; return
@@ -656,7 +636,7 @@ setqMultipleExplicit(nameList,valList,m,e) ==
for g in gensymList for name in nameList repeat
e := put(g,"mode",get(name,"mode",e),e)
assignList:=
- --should be fixed to declare genVar when possible
+ --should be fixed to declare genVar when possible
[[.,.,e]:= compSetq1(g,val,$EmptyMode,e) or return "failed"
for g in gensymList for val in valList for name in nameList]
assignList="failed" => nil
@@ -681,18 +661,18 @@ canReturn(expr,level,exitCount,ValueFlag) == --SPAD: exit and friends
[.,gs,data]:= expr
(findThrow(gs,data,level,exitCount,ValueFlag) => true) where
findThrow(gs,expr,level,exitCount,ValueFlag) ==
- atom expr => nil
- expr is ["THROW", =gs,data] => true
- --this is pessimistic, but I know of no more accurate idea
- expr is ["SEQ",:l] =>
- or/[findThrow(gs,u,level+1,exitCount,ValueFlag) for u in l]
- or/[findThrow(gs,u,level,exitCount,ValueFlag) for u in rest expr]
+ atom expr => nil
+ expr is ["THROW", =gs,data] => true
+ --this is pessimistic, but I know of no more accurate idea
+ expr is ["SEQ",:l] =>
+ or/[findThrow(gs,u,level+1,exitCount,ValueFlag) for u in l]
+ or/[findThrow(gs,u,level,exitCount,ValueFlag) for u in rest expr]
canReturn(data,level,exitCount,ValueFlag)
op = "COND" =>
level = exitCount =>
or/[canReturn(last u,level,exitCount,ValueFlag) for u in rest expr]
or/[or/[canReturn(u,level,exitCount,ValueFlag) for u in v]
- for v in rest expr]
+ for v in rest expr]
op="IF" =>
expr is [.,a,b,c]
if not canReturn(a,0,0,true) and not (BOUNDP '$convert2NewCompiler and $convert2NewCompiler) then
@@ -744,16 +724,16 @@ compColon([":",f,t],m,e) ==
f is [op,:argl] and not (t is ["Mapping",:.]) =>
--for MPOLY--replace parameters by formal arguments: RDJ 3/83
newTarget:= EQSUBSTLIST(take(#argl,$FormalMapVariableList),
- [(x is [":",a,m] => a; x) for x in argl],t)
+ [(x is [":",a,m] => a; x) for x in argl],t)
signature:=
- ["Mapping",newTarget,:
- [(x is [":",a,m] => m;
- getmode(x,e) or systemErrorHere '"compColonOld") for x in argl]]
+ ["Mapping",newTarget,:
+ [(x is [":",a,m] => m;
+ getmode(x,e) or systemErrorHere '"compColonOld") for x in argl]]
put(op,"mode",signature,e)
put(f,"mode",t,e)
if not $bootStrapMode and $insideFunctorIfTrue and
makeCategoryForm(t,e) is [catform,e] then
- e:= put(f,"value",[genSomeVariable(),t,$noEnv],e)
+ e:= put(f,"value",[genSomeVariable(),t,$noEnv],e)
["/throwAway",getmode(f,e),e]
compConstruct(form,m,e) == (T := compConstruct1(form,m,e)) and markConstruct(form,T)
@@ -840,7 +820,7 @@ coerce(T,m) ==
coerce0(T,m) ==
T':= coerceEasy(T,m) => T'
T':= coerceSubset(T,m) => markCoerce(T,T','AUTOSUBSET)
- T':= coerceHard(T,m) => markCoerce(T,T','AUTOHARD)
+ T':= coerceHard(T,m) => markCoerce(T,T','AUTOHARD)
T':= coerceExtraHard(T,m) => T'
T.expr = "$fromCoerceable$" or isSomeDomainVariable m => nil
T' := coerceRep(T,m) => markCoerce(T,T','AUTOREP)
@@ -849,7 +829,7 @@ coerce0(T,m) ==
-- from compFormWithModemap to filter through the modemaps
fn(x,m1,m2) ==
["Cannot coerce","%b",x,"%d","%l"," of mode","%b",m1,"%d","%l",
- " to mode","%b",m2,"%d"]
+ " to mode","%b",m2,"%d"]
coerceSubset(T := [x,m,e],m') ==
m = $SmallInteger =>
@@ -876,18 +856,18 @@ coerceRep(T,m) ==
--- GET rid of XLAMs
spadCompileOrSetq form ==
- --bizarre hack to take account of the existence of "known" functions
- --good for performance (LISPLLIB size, BPI size, NILSEC)
+ --bizarre hack to take account of the existence of "known" functions
+ --good for performance (LISPLLIB size, BPI size, NILSEC)
[nam,[lam,vl,body]] := form
CONTAINED(" ",body) => sayBrightly ['" ",:bright nam,'" not compiled"]
if vl is [:vl',E] and body is [nam',: =vl'] then
LAM_,EVALANDFILEACTQ ['PUT,MKQ nam,MKQ 'SPADreplace,MKQ nam']
sayBrightly ['" ",:bright nam,'"is replaced by",:bright nam']
else if (ATOM body or and/[ATOM x for x in body])
- and vl is [:vl',E] and not CONTAINED(E,body) then
- macform := ['XLAM,vl',body]
- LAM_,EVALANDFILEACTQ ['PUT,MKQ nam,MKQ 'SPADreplace,MKQ macform]
- sayBrightly ['" ",:bright nam,'"is replaced by",:bright body]
+ and vl is [:vl',E] and not CONTAINED(E,body) then
+ macform := ['XLAM,vl',body]
+ LAM_,EVALANDFILEACTQ ['PUT,MKQ nam,MKQ 'SPADreplace,MKQ macform]
+ sayBrightly ['" ",:bright nam,'"is replaced by",:bright body]
$insideCapsuleFunctionIfTrue => first COMP LIST form
compileConstructor form
@@ -970,7 +950,7 @@ autoCoerceByModemap([x,source,e],target) ==
markCoerceByModemap(x,source,target,[["call",fn,x],target,e],true)
--======================================================================
--- From compiler.boot
+-- From compiler.boot
--======================================================================
--comp3x(x,m,$e) ==
@@ -1070,7 +1050,7 @@ compBoolean(p,pWas,m,Einit) ==
T := comp(p,m,Einit) or return nil
markAny('compBoolean,pWas,T)
[p',m,getSuccessEnvironment(markKillAll p,E),
- getInverseEnvironment(markKillAll p,E)]
+ getInverseEnvironment(markKillAll p,E)]
compAnd([op,:args], pWas, m, e) ==
--called ONLY from compBoolean
@@ -1122,7 +1102,7 @@ compDefine1(form,m,e) ==
-- the modemap by a declaration, then strip off declarations and recurse
e := compDefineAddSignature(lhs,signature,e)
-- 2. if signature list for arguments is not empty, replace ('DEF,..) by
--- ('where,('DEF,..),..) with an empty signature list;
+-- ('where,('DEF,..),..) with an empty signature list;
-- otherwise, fill in all NILs in the signature
not (and/[null x for x in rest signature]) => compDefWhereClause(form,m,e)
signature.target=$Category =>
@@ -1130,7 +1110,7 @@ compDefine1(form,m,e) ==
isDomainForm(rhs,e) and not $insideFunctorIfTrue =>
if null signature.target then signature:=
[getTargetFromRhs(lhs,rhs,giveFormalParametersValues(rest lhs,e)),:
- rest signature]
+ rest signature]
rhs:= addEmptyCapsuleIfNecessary(signature.target,rhs)
compDefineFunctor(['DEF,lhs,signature,specialCases,rhs],m,e,nil,
$formalArgList)
@@ -1148,19 +1128,19 @@ compDefineCategory(df,m,e,prefix,fal) ==
compDefineCategory1(df,m,e,prefix,fal)
compDefineCategory1(df,m,e,prefix,fal) ==
- $DEFdepth : local := 0 --for conversion to new compiler 3/93
- $capsuleStack : local := nil --for conversion to new compiler 3/93
+ $DEFdepth : local := 0 --for conversion to new compiler 3/93
+ $capsuleStack : local := nil --for conversion to new compiler 3/93
$predicateStack:local := nil --for conversion to new compiler 3/93
$signatureStack:local := nil --for conversion to new compiler 3/93
- $importStack : local := nil --for conversion to new compiler 3/93
- $globalImportStack : local := nil --for conversion to new compiler 3/93
+ $importStack : local := nil --for conversion to new compiler 3/93
+ $globalImportStack : local := nil --for conversion to new compiler 3/93
$catAddForm : local := nil --for conversion to new compiler 2/95
$globalDeclareStack : local := nil
$globalImportDefAlist: local:= nil
- $localMacroStack : local := nil --for conversion to new compiler 3/93
- $freeStack : local := nil --for conversion to new compiler 3/93
+ $localMacroStack : local := nil --for conversion to new compiler 3/93
+ $freeStack : local := nil --for conversion to new compiler 3/93
$domainLevelVariableList: local := nil--for conversion to new compiler 3/93
- $categoryTranForm : local := nil --for conversion to new compiler 10/93
+ $categoryTranForm : local := nil --for conversion to new compiler 10/93
['DEF,form,sig,sc,body] := df
body := markKillAll body --these parts will be replaced by compDefineLisplib
categoryCapsule :=
@@ -1177,7 +1157,7 @@ compDefineCategory1(df,m,e,prefix,fal) ==
[.,.,e] :=
$insideCategoryPackageIfTrue: local := true --see NRTmakeSlot1
$categoryPredicateList: local :=
- makeCategoryPredicates(form,$lisplibCategory)
+ makeCategoryPredicates(form,$lisplibCategory)
defform := mkCategoryPackage(form,cat,categoryCapsule)
['DEF,[.,arg,:.],:.] := defform
$categoryNameForDollar :local := arg
@@ -1194,12 +1174,12 @@ compDefineCategory2(form,signature,specialCases,body,m,e,
$insideCategoryIfTrue: local:= true
$TOP__LEVEL: local
$definition: local
- --used by DomainSubstitutionFunction
+ --used by DomainSubstitutionFunction
$form: local
$op: local
$extraParms: local
- --Set in DomainSubstitutionFunction, used further down
--- 1.1 augment e to add declaration $: <form>
+ --Set in DomainSubstitutionFunction, used further down
+-- 1.1 augment e to add declaration $: <form>
[$op,:argl]:= $definition:= form
e:= addBinding("$",[['mode,:$definition]],e)
@@ -1229,7 +1209,7 @@ compDefineCategory2(form,signature,specialCases,body,m,e,
op':= $op
-- following line causes cats with no with or Join to be fresh copies
if opOf(formalBody)^='Join and opOf(formalBody)^='mkCategory then
- formalBody := ['Join, formalBody]
+ formalBody := ['Join, formalBody]
T := compOrCroak(formalBody,signature'.target,e)
--------------------> new <-------------------
$catAddForm :=
@@ -1241,12 +1221,12 @@ compDefineCategory2(form,signature,specialCases,body,m,e,
if $extraParms then
formals:=actuals:=nil
for u in $extraParms repeat
- formals:=[CAR u,:formals]
- actuals:=[MKQ CDR u,:actuals]
+ formals:=[CAR u,:formals]
+ actuals:=[MKQ CDR u,:actuals]
body := ['sublisV,['PAIR,['QUOTE,formals],['LIST,:actuals]],body]
- if argl then body:= -- always subst for args after extraparms
- ['sublisV,['PAIR,['QUOTE,sargl],['LIST,:
- [['devaluate,u] for u in sargl]]],body]
+ if argl then body:= -- always subst for args after extraparms
+ ['sublisV,['PAIR,['QUOTE,sargl],['LIST,:
+ [['devaluate,u] for u in sargl]]],body]
body:=
['PROG1,['LET,g:= GENSYM(),body],['SETELT,g,0,mkConstructor $functorForm]]
fun:= compile [op',['LAM,sargl,body]]
@@ -1255,33 +1235,27 @@ compDefineCategory2(form,signature,specialCases,body,m,e,
pairlis:= [[a,:v] for a in argl for v in $FormalMapVariableList]
parSignature:= SUBLIS(pairlis,signature')
parForm:= SUBLIS(pairlis,form)
----- lisplibWrite('"compilerInfo",
----- ['SETQ,'$CategoryFrame,
----- ['put,['QUOTE,op'],'
----- (QUOTE isCategory),true,['addModemap,MKQ op',MKQ parForm,
----- MKQ parSignature,true,MKQ fun,'$CategoryFrame]]],$libFile)
+---- lisplibWrite('"compilerInfo",
+---- ['SETQ,'$CategoryFrame,
+---- ['put,['QUOTE,op'],'
+---- (QUOTE isCategory),true,['addModemap,MKQ op',MKQ parForm,
+---- MKQ parSignature,true,MKQ fun,'$CategoryFrame]]],$libFile)
--Equivalent to the following two lines, we hope
if null sargl then
evalAndRwriteLispForm('NILADIC,
- ['MAKEPROP,['QUOTE,op'],'(QUOTE NILADIC),true])
+ ['MAKEPROP,['QUOTE,op'],'(QUOTE NILADIC),true])
-- 6. put modemaps into InteractiveModemapFrame
$domainShell :=
BOUNDP '$convertingSpadFile and $convertingSpadFile => nil
eval [op',:MAPCAR('MKQ,sargl)]
$lisplibCategory:= formalBody
----- if $LISPLIB then
----- $lisplibForm:= form
----- $lisplibKind:= 'category
----- modemap:= [[parForm,:parSignature],[true,op']]
----- $lisplibModemap:= modemap
----- $lisplibCategory:= formalBody
----- form':=[op',:sargl]
----- augLisplibModemapsFromCategory(form',formalBody,signature')
+---- if $LISPLIB then
+---- $lisplibForm:= form
+---- $lisplibKind:= 'category
+---- modemap:= [[parForm,:parSignature],[true,op']]
+---- $lisplibModemap:= modemap
+---- $lisplibCategory:= formalBody
+---- form':=[op',:sargl]
+---- augLisplibModemapsFromCategory(form',formalBody,signature')
[fun,'(Category),e]
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/wi2.boot.pamphlet b/src/interp/wi2.boot
index e4dd5a8a..3842101e 100644
--- a/src/interp/wi2.boot.pamphlet
+++ b/src/interp/wi2.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/wi2.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -46,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
)package "BOOT"
@@ -749,7 +729,7 @@ optDeltaEntry(op,sig,dc,eltOrConst) ==
not(IDENTP x) => x
get(x,'value,$e) => x
x='$ => x
- MKQ x
+ MKQ x
fn := compiledLookup(op,nsig,dcval)
if null fn then return nil
eltOrConst="CONST" =>
@@ -1247,9 +1227,3 @@ chk(x,key) == fn(x,0,key) where fn(x,cnt,key) ==
for y in x repeat cnt := fn(y, cnt + 1, key)
cnt
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/word.boot.pamphlet b/src/interp/word.boot
index ac76dca3..95dfc7a1 100644
--- a/src/interp/word.boot.pamphlet
+++ b/src/interp/word.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp word.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--
@@ -42,9 +29,6 @@
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
--=======================================================================
-- Build Directories
@@ -414,9 +398,3 @@ obSearch x ==
[y for i in 0..MAXINDEX OBARRAY() |
(IDENTP (y := vec.i) or CVEC y) and match?(pattern,COPY y)]
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}