diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 05:28:25 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 05:28:25 -0800 |
commit | 6c972c2a3ae6a6875417d7a8f9442c2abdc170ff (patch) | |
tree | fe442b95d4e941f9cd9ad0785b4365e3782b8b87 | |
parent | 9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (diff) | |
download | open-axiom-6c972c2a3ae6a6875417d7a8f9442c2abdc170ff.tar.gz |
Skip interp.daase for a few database info in generated code.
-rw-r--r-- | src/interp/daase.lisp | 19 | ||||
-rw-r--r-- | src/interp/database.boot | 4 |
2 files changed, 9 insertions, 14 deletions
diff --git a/src/interp/daase.lisp b/src/interp/daase.lisp index a340fd13..8fbe451d 100644 --- a/src/interp/daase.lisp +++ b/src/interp/daase.lisp @@ -447,14 +447,14 @@ (setq *allconstructors* (adjoin (first item) *allconstructors*)) (setq dbstruct (|makeDB| (first item) (ninth item) (seventh item))) (setf (|dbOperations| dbstruct) (second item)) - (setf (|dbConstructorModemap| dbstruct) (third item)) +; (setf (|dbConstructorModemap| dbstruct) (third item)) (setf (|dbModemaps| dbstruct) (fourth item)) (setf (|dbModule| dbstruct) (fifth item)) (setf (|dbCategory| dbstruct) (sixth item)) (setf (get (seventh item) 'abbreviationfor) (first item)) ;invert - (setf (|dbDualSignature| dbstruct) (eighth item)) +; (setf (|dbDualSignature| dbstruct) (eighth item)) (setf (|dbAncestors| dbstruct) (nth 10 item)) - (setf (|dbSuperDomain| dbstruct) (nth 11 item)) +; (setf (|dbSuperDomain| dbstruct) (nth 11 item)) )) (format t "~&"))) @@ -509,9 +509,10 @@ (setf (|dbSourceFile| dbstruct) (second item)) (setf (|dbConstructorForm| dbstruct) (third item)) (setf (database-documentation dbstruct) (fourth item)) - (setf (|dbAttributes| dbstruct) (fifth item)) - (setf (|dbPredicates| dbstruct) (sixth item)) - (setf (|dbPrincipals| dbstruct) (seventh item)))) +; (setf (|dbAttributes| dbstruct) (fifth item)) +; (setf (|dbPredicates| dbstruct) (sixth item)) +; (setf (|dbPrincipals| dbstruct) (seventh item)) + )) (format t "~&"))) (defun categoryOpen () @@ -640,10 +641,6 @@ (operation (setq stream *operation-stream*) (setq data (gethash constructor *operation-hash*))) - (constructorcategory - (setq stream *interp-stream*) - (when struct - (setq data (|dbCategory| struct)))) (modemaps (setq stream *interp-stream*) (when struct @@ -700,8 +697,6 @@ (setf (gethash constructor *operation-hash*) data)) (hascategory (setf (gethash constructor |$HasCategoryTable|) data)) - (constructorcategory - (setf (|dbCategory| struct) data)) (modemaps (setf (|dbModemaps| struct) data)) (object diff --git a/src/interp/database.boot b/src/interp/database.boot index 1096c3eb..1eb2caaf 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -158,7 +158,7 @@ getConstructorArgsFromDB ctor == getDualSignature: %Symbol -> %Form getDualSignature ctor == db := constructorDB ctor - if not dbBeingDefined? db then + if not dbBeingDefined? db and dbDualSignature db isnt [.,:.] then loadDBIfNecessary db dbDualSignature db @@ -179,7 +179,7 @@ getSuperDomainFromDB: %Symbol -> %Form getSuperDomainFromDB ctor == builtinConstructor? ctor => nil db := constructorDB ctor - if not dbBeingDefined? db then + if not dbBeingDefined? db and dbSuperDomain db isnt [.,:.] then loadDBIfNecessary db dbSuperDomain db |