diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 08:56:15 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 08:56:15 -0800 |
commit | 687bef6eb89db2a2d84ddc96bf9fb8efdf1546d7 (patch) | |
tree | 35b32cf9795bef3fe984ab3ffa4f41cbb9573711 /src/interp/lisplib.boot | |
parent | ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688 (diff) | |
download | open-axiom-687bef6eb89db2a2d84ddc96bf9fb8efdf1546d7.tar.gz |
Write out a functor's operation table separately in generated code stream.
Diffstat (limited to 'src/interp/lisplib.boot')
-rw-r--r-- | src/interp/lisplib.boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index c0b341bc..807f752f 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -473,6 +473,10 @@ writeTemplate db == dbConstructorKind db = 'category => nil writeLoadInfo(db,dbTemplate db,'template,'dbTemplate) +writeOperationTable db == + dbConstructorKind db = 'category => nil + writeLoadInfo(db,dbOperationTable db,'optable,'dbOperationTable) + writeLookupFunction db == fun := dbLookupFunction db => writeLoadInfo(db,quote fun,'lookupFunction,'dbLookupFunction) @@ -569,6 +573,7 @@ finalizeLisplib(db,libName) == $NRTslot1PredicateList : local := [] genInitialAttributeAlist(db,rest opsAndAtts) writeSuperDomain db + writeOperationTable db writeCapsuleLevelDefinitions db writeAttributes db writePredicates db |