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/share/algebra/operation.daase | |
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/share/algebra/operation.daase')
-rw-r--r-- | src/share/algebra/operation.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 463757e3..c896d1ad 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(719417 . 3522866254) +(719417 . 3522901378) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1288 *4)) (-4 *4 (-13 (-1070) (-658 (-558)))) (-5 *2 (-1288 (-419 (-558)))) (-5 *1 (-1317 *4))))) |