aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-24 14:36:32 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-24 14:36:32 +0000
commit0af724597cff0d9235a37223e46e6f9ffb804e0b (patch)
tree3516fae1cbb30865e30f93248f2dc398f366adbd /src/interp
parent1363ab2f8f0bc56e8303f2a1673644404c41ef03 (diff)
downloadopen-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.lisp3
-rw-r--r--src/interp/sys-constants.boot7
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 == '" "