aboutsummaryrefslogtreecommitdiff
path: root/src/interp/property.lisp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-11-28 11:36:14 +0000
committerdos-reis <gdr@axiomatics.org>2007-11-28 11:36:14 +0000
commit63e653a5d625157a1188b4ef433ea308935cc3f9 (patch)
treebaee0596cf12f5c26ef6f28a9f9c5accfe0e5718 /src/interp/property.lisp
parent18b0887c46d1bd949526790bfdc8aec6d622432d (diff)
downloadopen-axiom-63e653a5d625157a1188b4ef433ea308935cc3f9.tar.gz
* Makefile.pamphlet (compiler.$(FASLEXT)): Update requirement.
* compiler.boot: Import "define" and "iterator". Move setting of special compiler functions from property.lisp to here. * iterator.boot (compCollectV): Uncomment. (compIteratorV): Likewise. (computeMaxIndex): Likewise. (exprDifference): Likewise. * parse.boot: Move setting of special parsing functions from property.lisp to here. * postpar.boot: Move setting of special parsing transformers from property.lisp to here. * property.lisp: Move setting of special compiler functions and parsers to appropriate files.
Diffstat (limited to 'src/interp/property.lisp')
-rw-r--r--src/interp/property.lisp128
1 files changed, 0 insertions, 128 deletions
diff --git a/src/interp/property.lisp b/src/interp/property.lisp
index 00c1cd70..6eef2a01 100644
--- a/src/interp/property.lisp
+++ b/src/interp/property.lisp
@@ -350,86 +350,6 @@
(|Enumeration| |mkEnumerationFunList|)
)) (MAKEPROP (CAR X) '|makeFunctionList| (CADR X)))
-(REPEAT (IN X '(
- (|<=| |parseLessEqual|)
- (|>| |parseGreaterThan|)
- (|>=| |parseGreaterEqual|)
- (|$<=| |parseDollarLessEqual|)
- (|$>| |parseDollarGreaterThan|)
- (|$>=| |parseDollarGreaterEqual|)
- ($^= |parseDollarNotEqual|)
- (^= |parseNotEqual|)
- (\: |parseColon|)
- (|::| |parseCoerce|)
- (@ |parseAtSign|)
-;; These two lines were commented out in the original sources.
-;; However both of these lines involved control characters that
-;; latex cannot handle. control-V and control-H should be the
-;; actual control characters, not the text replacement shown here.
-;; ;;(control-V |parseUpArrow|)
-;; ;;(|control-H| |parseLeftArrow|)
- (|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|)
- (|or| |parseOr|)
- (|pretend| |parsePretend|)
- (|return| |parseReturn|)
- (SEGMENT |parseSegment|)
- (SEQ |parseSeq|)
- (VCONS |parseVCONS|)
- (|where| |parseWhere|)
-;; (|xor| |parseExclusiveOr|)
-)) (MAKEPROP (CAR X) '|parseTran| (CADR X)))
-
-(REPEAT (IN X '(
- (|with| |postWith|)
- (|Scripts| |postScripts|)
- (/ |postSlash|)
- (|construct| |postConstruct|)
- (|Block| |postBlock|)
- (QUOTE |postQUOTE|)
- (COLLECT |postCollect|)
- (|:BF:| |postBigFloat|)
- (|in| |postin|) ;" the infix operator version of in"
- (IN |postIn|) ;" the iterator form of in"
- (REPEAT |postRepeat|)
- (|TupleCollect| |postTupleCollect|)
- (|add| |postAdd|)
- (|Reduce| |postReduce|)
- (\, |postComma|)
- (\; |postSemiColon|)
- (|where| |postWhere|)
- (|::| |postColonColon|)
- (\: |postColon|)
- (@ |postAtSign|)
- (|pretend| |postPretend|)
- (|if| |postIf|)
- (|Join| |postJoin|)
- (|Signature| |postSignature|)
- (CATEGORY |postCategory|)
-;;( |postDef|)
- (== |postDef|)
- (|==>| |postMDef|)
- (|->| |postMapping|)
- (|=>| |postExit|)
- (|Tuple| |postTuple|)
-)) (MAKEPROP (CAR X) '|postTran| (CADR X)))
-
(MAKEPROP 'INTEGER 'ISFUNCTION 'FIXP)
(MAKEPROP '|Integer| '|isFunction| '|IsInteger|)
(MAKEPROP '|Boolean| '|isFunction| '|isBoolean|)
@@ -544,54 +464,6 @@
(|target| CAR)
)) (MAKEPROP (CAR X) '|SEL,FUNCTION| (CADR X)))
-(REPEAT (IN X '(
- (\| |compSuchthat|)
- (\@ |compAtSign|)
- (|:| |compColon|)
- (\:\: |compCoerce|)
- (QUOTE |compQuote|)
-;; We have a similar problem with the control-G character.
-;; ;; (control-G |compContained|)
-
- (|add| |compAdd|)
- (CAPSULE |compCapsule|)
- (|case| |compCase|)
- (CATEGORY |compCategory|)
- (COLLECT |compRepeatOrCollect|)
- (COLLECTV |compCollectV|)
- (CONS |compCons|)
- (|construct| |compConstruct|)
- (DEF |compDefine|)
- (|elt| |compElt|)
- (|exit| |compExit|)
- (|has| |compHas|)
- (IF |compIf|)
- (|import| |compImport|)
- (|is| |compIs|)
- (|Join| |compJoin|)
- (|leave| |compLeave|)
- (LET |compSetq|)
- (|ListCategory| |compConstructorCategory|)
- (MDEF |compMacro|)
- (|pretend| |compPretend|)
- (|Record| |compCat|)
- (|RecordCategory| |compConstructorCategory|)
- (REDUCE |compReduce|)
- (REPEAT |compRepeatOrCollect|)
- (|return| |compReturn|)
- (SEQ |compSeq|)
- (SETQ |compSetq|)
- (|String| |compString|)
- (|SubDomain| |compSubDomain|)
- (|SubsetCategory| |compSubsetCategory|)
- (|Union| |compCat|)
- (|Mapping| |compCat|)
- (|UnionCategory| |compConstructorCategory|)
- (VECTOR |compVector|)
- (|VectorCategory| |compConstructorCategory|)
- (|where| |compWhere|)
- (|not| |compileNot|)
-)) (MAKEPROP (CAR X) 'SPECIAL (CADR X)))
(REPEAT (IN X '(
(\: |compColonInteractive|)