diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-24 14:36:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-24 14:36:32 +0000 |
commit | 0af724597cff0d9235a37223e46e6f9ffb804e0b (patch) | |
tree | 3516fae1cbb30865e30f93248f2dc398f366adbd /src/interp | |
parent | 1363ab2f8f0bc56e8303f2a1673644404c41ef03 (diff) | |
download | open-axiom-0af724597cff0d9235a37223e46e6f9ffb804e0b.tar.gz |
* interp/sys-constants.boot ($BuiltinAttributes): Remove
finiteAggregate and shallowlyMutable.
* interp/daase.lisp (WRITE-COMPRESS): Do not push strings.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/daase.lisp | 3 | ||||
-rw-r--r-- | src/interp/sys-constants.boot | 7 |
2 files changed, 3 insertions, 7 deletions
diff --git a/src/interp/daase.lisp b/src/interp/daase.lisp index 7ce0b1d3..55e4f561 100644 --- a/src/interp/daase.lisp +++ b/src/interp/daase.lisp @@ -1101,13 +1101,10 @@ (setq masterpos (file-position out)) (setq compresslist (append (|allConstructors|) (|allOperations|) |$BuiltinAttributes|)) - (push "algebra" compresslist) - (push "failed" compresslist) (push 'signature compresslist) (push '|ofType| compresslist) (push '|Join| compresslist) (push 'and compresslist) - (push '|nobranch| compresslist) (push 'category compresslist) (push '|category| compresslist) (push '|domain| compresslist) diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 9f7d5223..342e66f5 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2012, Gabriel Dos Reis. +-- Copyright (C) 2007-2013, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -632,12 +632,11 @@ $FILETYPE_-TABLE == +++ $BuiltinAttributes == '(nil infinite arbitraryExponent approximate complex - shallowMutable canonical noetherian central + canonical noetherian central partiallyOrderedSet arbitraryPrecision canonicalsClosed noZeroDivisors rightUnitary leftUnitary additiveValuation unitsKnown canonicalUnitNormal - multiplicativeValuation finiteAggregate shallowlyMutable - commutative) + multiplicativeValuation commutative) +++ BLANK == '" " |