diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
commit | e30c70e6661aff69dcf8f4752ed6679e4ce41fcf (patch) | |
tree | d16c80395a4ac15b1aff3cc7299705347aeb5053 | |
parent | 63f62dc654697c60cfcf98d9fba5c7e1616061b0 (diff) | |
download | open-axiom-e30c70e6661aff69dcf8f4752ed6679e4ce41fcf.tar.gz |
* interp/database.boot (getConstructorAbbreviationFromDB): Use DB
data structure directtly.
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/database.boot | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 3cfc6e4d..bb77e5b3 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2013-05-20 Gabriel Dos Reis <gdr@integrable-solutions.net> + * interp/database.boot (getConstructorAbbreviationFromDB): Use DB + data structure directtly. + +2013-05-20 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to FiniteAggregate. diff --git a/src/interp/database.boot b/src/interp/database.boot index 1457f51c..7517e834 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -74,7 +74,8 @@ makeConstructor(s,k == nil,a == nil) == getConstructorAbbreviationFromDB: %Symbol -> %Symbol getConstructorAbbreviationFromDB ctor == - GETDATABASE(ctor,"ABBREVIATION") + db := constructorDB ctor => dbAbbreviation db + nil getConstructorCategory: %Symbol -> %Form getConstructorCategory ctor == |