aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 05:28:25 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 05:28:25 -0800
commit6c972c2a3ae6a6875417d7a8f9442c2abdc170ff (patch)
treefe442b95d4e941f9cd9ad0785b4365e3782b8b87 /src/interp
parent9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (diff)
downloadopen-axiom-6c972c2a3ae6a6875417d7a8f9442c2abdc170ff.tar.gz
Skip interp.daase for a few database info in generated code.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/daase.lisp19
-rw-r--r--src/interp/database.boot4
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