diff options
Diffstat (limited to 'src/interp/postprop.lisp.pamphlet')
| -rw-r--r-- | src/interp/postprop.lisp.pamphlet | 152 |
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} |