Initial population.

1 files changed, 152 insertions, 0 deletions

diff --git a/src/interp/postprop.lisp.pamphlet b/src/interp/postprop.lisp.pamphlet
new file mode 100644
index 00000000..0f3876d1
--- /dev/null
+++ b/src/interp/postprop.lisp.pamphlet
@@ -0,0 +1,152 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/interp postprop.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.
+;;
+;; 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>>
+
+(in-package "BOOT")
+
+(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|special| (CADR X)))
+        '((LET |compSetq|)      (|Join| |compJoin|)
+          (|Record| |compCat|)
+          (|Union| |compCat|)   (\: |compColon|)
+          (\:\: |compCoerce|)   (CAPSULE |compCapsule|)
+          (|has| |compHas|)     (|is| |compIs|)
+          (|add| |compAdd|)     (CONS |compCons|)
+          (IF |compIf|)         (|exit| |compExit|)
+          (|return| |compReturn|)       (|leave| |compLeave|)
+          (|elt| |compElt|)     (DEF |compDefine|)
+          (MDEF |compMacro|)    (|SubsetCategory| |compSubsetCategory|)
+          (|SubDomain| |compSubDomain|)
+          (|case| |compCase|)   (|String| |compString|)
+          (|RecordCategory| |compConstructorCategory|)
+          (|ListCategory| |compConstructorCategory|)
+          (|VectorCategory| |compConstructorCategory|)
+          (|UnionCategory| |compConstructorCategory|)
+          (CATEGORY |compCategory|)
+          (COLLECT |compRepeatOrCollect|)
+          (COLLECTV |compCollectV|)
+          (REPEAT |compRepeatOrCollect|)
+          (REDUCE |compReduce|) (|where| |compWhere|)
+          (\| |compSuchthat|)   (|construct| |compConstruct|)
+          (SEQ |compSeq|)       (SETQ |compSetq|)
+          (VECTOR |compVector|)))
+
+(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|postTran| (second X)))
+        '((|with| |postWith|)
+          (|Scripts| |postScripts|)
+          (/ |postSlash|)
+          (|construct| |postConstruct|)
+          (|Block| |postBlock|)
+          (QUOTE |postQUOTE|)
+          (COLLECT |postCollect|)
+          (\:BF\: |postBigFloat|)
+          (|in| |postin|)               ; the infix operator version of i
+          (IN |postIn|)                 ; the iterator form of i
+          (REPEAT |postRepeat|)
+          (|TupleCollect| |postTupleCollect|)
+          (|add| |postAdd|)
+          (|Reduce| |postReduce|)
+          (\, |postComma|)
+          (\; |postSemiColon|)
+          (|where| |postWhere|)
+          (\: |postColon|)
+          (\@ |postAtSign|)
+          (|pretend| |postPretend|)
+          (|if| |postIf|)
+          (|Join| |postJoin|)
+          (|Signature| |postSignature|)
+          (CATEGORY |postCategory|)
+          (== |postDef|)
+          (==> |postMDef|)
+          (-> |postMapping|)
+          (=> |postExit|)
+          (|Tuple| |postTuple|)))
+
+(mapcar #'(lambda (x) (MAKEPROP (CAR X) '|parseTran| (CADR X)))
+        '((\<= |parseLessEqual|)
+          (\> |parseGreaterThan|)
+          (\>= |parseGreaterEqual|)
+          ($\<= |parseDollarLessEqual|)
+          ($\> |parseDollarGreaterThan|)
+          ($\>= |parseDollarGreaterEqual|)
+          ($^= |parseDollarNotEqual|)
+          (^ |parseNot|)
+          (^= |parseNotEqual|)
+          (\: |parseColon|)
+          (\:\: |parseCoerce|)
+          (\@ |parseAtSign|)
+          (|and| |parseAnd|)
+          (CATEGORY |parseCategory|)
+          (|construct| |parseConstruct|)
+          (DEF |parseDEF|)
+          (|eqv| |parseEquivalence|)
+          (|exit| |parseExit|)
+          (|has| |parseHas|)
+          (IF |parseIf|)
+          (|implies| |parseImplies|)
+          (IN |parseIn|)
+          (INBY |parseInBy|)
+          (|is| |parseIs|)
+          (|isnt| |parseIsnt|)
+          (|Join| |parseJoin|)
+          (|leave| |parseLeave|)
+          (LET |parseLET|)
+          (LETD |parseLETD|)
+          (MDEF |parseMDEF|)
+          (|not| |parseNot|)
+          (|or| |parseOr|)
+          (|pretend| |parsePretend|)
+          (|return| |parseReturn|)
+          (SEQ |parseSeq|)
+          (VCONS |parseVCONS|)
+          (|where| |parseWhere|)
+          (|xor| |parseExclusiveOr|)))
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}