diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-27 17:22:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-27 17:22:13 +0000 |
| commit | 18b0887c46d1bd949526790bfdc8aec6d622432d (patch) | |
| tree | c354e4cb3b8835dd556e9426a761d54178d226b2 /src/interp/property.lisp | |
| parent | 59c36150116157adb70ab288db259a96b993e53a (diff) | |
| download | open-axiom-18b0887c46d1bd949526790bfdc8aec6d622432d.tar.gz | |
* vmlisp.lisp (create-sbc): Remove.
* property.lisp: Don't use it anymore.
* g-opt.boot: Likewise.
* i-spec2.boot: Likewise.
Diffstat (limited to 'src/interp/property.lisp')
| -rw-r--r-- | src/interp/property.lisp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/property.lisp b/src/interp/property.lisp index e71fd3cb..00c1cd70 100644 --- a/src/interp/property.lisp +++ b/src/interp/property.lisp @@ -298,19 +298,19 @@ (SEQ DEF-SEQ) (|isnt| DEF-ISNT) (|where| DEF-WHERE) -)) (PROGN (MAKEPROP (CAR X) '|DEF-TRAN| (CADR X)) (CREATE-SBC (CADR X)))) +)) (PROGN (MAKEPROP (CAR X) '|DEF-TRAN| (CADR X)) (CADR X))) ;; following was in INIT LISP (REPEAT (IN X '( |Polynomial| |UnivariatePoly| |SquareMatrix| |QuotientField| )) (MAKEPROP X '|status| - (CREATE-SBC (INTERNL (STRCONC "status" (STRINGIMAGE X))) ))) + (INTERNL (STRCONC "status" (STRINGIMAGE X))) )) (REPEAT (IN X '( |UnivariatePoly| |Matrix| |QuotientField| |Gaussian| )) (MAKEPROP X '|dataCoerce| - (CREATE-SBC (INTERNL (STRCONC "coerce" (STRINGIMAGE X))) ))) + (INTERNL (STRCONC "coerce" (STRINGIMAGE X))) )) (REPEAT (IN X '( (|Integer| . (INTEGERP |#1|)) @@ -348,7 +348,7 @@ (|Union| |mkUnionFunList|) (|Mapping| |mkMappingFunList|) (|Enumeration| |mkEnumerationFunList|) -)) (MAKEPROP (CAR X) '|makeFunctionList| (CREATE-SBC (CADR X)))) +)) (MAKEPROP (CAR X) '|makeFunctionList| (CADR X))) (REPEAT (IN X '( (|<=| |parseLessEqual|) @@ -591,12 +591,12 @@ (|VectorCategory| |compConstructorCategory|) (|where| |compWhere|) (|not| |compileNot|) -)) (MAKEPROP (CAR X) 'SPECIAL (CREATE-SBC (CADR X)))) +)) (MAKEPROP (CAR X) 'SPECIAL (CADR X))) (REPEAT (IN X '( (\: |compColonInteractive|) (DEF |compDefineInteractive|) (|construct| |compConstructInteractive|) (LET |compSetqInteractive|) -)) (MAKEPROP (CAR X) 'INTERACTIVE (CREATE-SBC (CADR X)))) +)) (MAKEPROP (CAR X) 'INTERACTIVE (CADR X))) |