diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-21 08:40:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-21 08:40:22 +0000 |
commit | 541011621b8469cb64fa54a53c29f32f1b1bd2bd (patch) | |
tree | aea50274376daac863b4bcdd83b71990ae2dd033 /src/algebra/derham.spad.pamphlet | |
parent | e75dc831550cd2a50716d7e2d38d3047af01339e (diff) | |
download | open-axiom-541011621b8469cb64fa54a53c29f32f1b1bd2bd.tar.gz |
* interp/lisplib.boot (leaveIfErrors): Take kind as argument.
(writeInfo): New.
(writeSuperDomain): Likewise.
(finalizeLisplib): Use it. Take constructor as argument.
* interp/define.boot ($lisplibSuperDomain): Remove. Adjust users.
($lisplibKind): Remove Adjust users.
(emitSubdomainInfo): Set dbSuperDomain.
(incompleteFunctorBody): Likewise.
* interp/daase.lisp: Add new database accessors.
(GETDATABASE): Fix handling of superDomain property.
* interp/br-util.boot (dbConstructorKind): Remove.
* interp/br-con.boot: Remove deadcode.
(dbShowCons1): Adjust.
* interp/br-saturn.boot (dbShowConsKinds): Likewise.
Diffstat (limited to 'src/algebra/derham.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions