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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | src/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 0a9f4601..78c3334f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,15 @@ 2011-09-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + * 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. + +2011-09-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (compDefineFunctor1): Augment the envionment with current instantiation. * interp/c-util.boot (isSubset): Accept values of current |