diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-07 16:07:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-07 16:07:42 +0000 |
| commit | 88c6450a9068d951752e06f5ee40d63de1e95fd8 (patch) | |
| tree | 2f8d3f6bc7cb5dca9151ce51363e3cbaf6691d38 /src/share/algebra/category.daase | |
| parent | 80e53e21c3d0f18791ca5a4905217c1f89aa90f1 (diff) | |
| download | open-axiom-88c6450a9068d951752e06f5ee40d63de1e95fd8.tar.gz | |
* interp/nruncomp.boot (NRTaddInner): Use the dual signature.
* interp/lisplib.boot (writeDualSignature): New.
(finalizeLisplib): Likewise.
* interp/define.boot (compDefineCategory2): Compute dual signature.
(compDefineFunctor1): Likewise.
* interp/daase.lisp (LOCALNRLIB): Juts read dual signature info;
don't compute it.
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 02bf76c7..eaa75040 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(207263 . 3524382848) +(207263 . 3524395032) ((((-877)) . T)) ((((-877)) . T)) ((((-877)) . T)) |