diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-09 14:13:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-09 14:13:09 +0000 |
commit | bbc597dd3deeca1bff1c35491c1911ce50f1af60 (patch) | |
tree | 4329038fa43164b6bfa3516bfb6debe13d87cc36 /src/interp/property.lisp | |
parent | ca48929b74dee0ecfca92200ec4d5879bff0d4f5 (diff) | |
download | open-axiom-bbc597dd3deeca1bff1c35491c1911ce50f1af60.tar.gz |
* interp/buildom.boot: Rename AST code LET to %LET throughout.
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compiler.boot: Likewise.
* interp/cparse.boot: Likewise.
* interp/def.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/iterator.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/newaux.lisp: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/package.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/property.lisp: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
Diffstat (limited to 'src/interp/property.lisp')
-rw-r--r-- | src/interp/property.lisp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/property.lisp b/src/interp/property.lisp index 6eef2a01..1e012666 100644 --- a/src/interp/property.lisp +++ b/src/interp/property.lisp @@ -58,14 +58,14 @@ (MAKEPROP 'TAG 'Led '(TAG TAG 122 121)) (MAKEPROP 'EQUATNUM '|Nud| '(|dummy| |dummy| 0 0)) (MAKEPROP 'EQUATNUM '|Led| '(|dummy| |dummy| 10000 0)) -(MAKEPROP 'LET '|Led| '(|:=| LET 125 124)) +(MAKEPROP '%LET '|Led| '(|:=| %LET 125 124)) (MAKEPROP 'RARROW '|Led| '(== DEF 122 121)) (MAKEPROP 'SEGMENT '|Led| '(|..| SEGMENT 401 699 (|P:Seg|))) (MAKEPROP 'SEGMENT '|isSuffix| 'T) (MAKEPROP 'EQUAL1 'CHRYBNAM 'EQ) (REPEAT (IN X '( - (LET " := ") + (%LET " := ") (= "=") (|/| "/") (+ "+") @@ -286,7 +286,7 @@ (|::| |DEF-::|) (ELT DEF-ELT) (SETELT DEF-SETELT) - (LET DEF-LET) + (%LET DEF-LET) (COLLECT DEF-COLLECT) (LESSP DEF-LESSP) (|<| DEF-LESSP) @@ -469,6 +469,6 @@ (\: |compColonInteractive|) (DEF |compDefineInteractive|) (|construct| |compConstructInteractive|) - (LET |compSetqInteractive|) + (%LET |compSetqInteractive|) )) (MAKEPROP (CAR X) 'INTERACTIVE (CADR X))) |